flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Grab OCaml 3.10.2 from http://caml.inria.fr/ocaml/release.html (featuring new camlp4 and more!)
postalchris has quit [Read error: 110 (Connection timed out)]
blue_prawn_ has joined #ocaml
blue_prawn has quit [Read error: 101 (Network is unreachable)]
Smerdyakov has quit ["BRB"]
Smerdyakov has joined #ocaml
im_a_man has quit [Read error: 110 (Connection timed out)]
Smerdyakov has quit [Client Quit]
Smerdyakov has joined #ocaml
Smerdyakov has quit [Client Quit]
tomh has quit ["http://www.mibbit.com ajax IRC Client"]
Smerdyakov has joined #ocaml
LordMetroid has quit ["Leaving"]
postalchris has joined #ocaml
Jedai has quit [Read error: 113 (No route to host)]
Morphous_ has quit [Read error: 110 (Connection timed out)]
Morphous_ has joined #ocaml
r0bby has joined #ocaml
pango has quit [Remote closed the connection]
pango has joined #ocaml
blue_prawn_ has quit ["Client exiting"]
seafood has joined #ocaml
postalchris has quit [Read error: 110 (Connection timed out)]
rogo has joined #ocaml
marmotine has quit ["Quitte"]
ygrek has joined #ocaml
ulfdoz has quit [Remote closed the connection]
ulfdoz has joined #ocaml
bluestorm has joined #ocaml
Snark has joined #ocaml
elparo_continua has joined #ocaml
bluestorm has quit ["Konversation terminated!"]
Kopophex has quit ["Leaving"]
Yoric[DT] has joined #ocaml
Yoric[DT] has quit ["Ex-Chat"]
AxleLonghorn has joined #ocaml
al-maisan has joined #ocaml
al-maisan has left #ocaml []
bla has quit [heinlein.freenode.net irc.freenode.net]
struk_atwork has quit [heinlein.freenode.net irc.freenode.net]
ikatz has quit [heinlein.freenode.net irc.freenode.net]
Mr_Awesome has quit [heinlein.freenode.net irc.freenode.net]
pattern has quit [heinlein.freenode.net irc.freenode.net]
Smerdyakov has quit [heinlein.freenode.net irc.freenode.net]
hcarty has quit [heinlein.freenode.net irc.freenode.net]
jlouis has quit [heinlein.freenode.net irc.freenode.net]
szell` has quit [heinlein.freenode.net irc.freenode.net]
elparo_continua has quit [heinlein.freenode.net irc.freenode.net]
r0bby has quit [heinlein.freenode.net irc.freenode.net]
jdev has quit [heinlein.freenode.net irc.freenode.net]
mattam has quit [heinlein.freenode.net irc.freenode.net]
det has quit [heinlein.freenode.net irc.freenode.net]
authentic has quit [heinlein.freenode.net irc.freenode.net]
seafood has quit [heinlein.freenode.net irc.freenode.net]
haelix has quit [heinlein.freenode.net irc.freenode.net]
Sparkles has quit [heinlein.freenode.net irc.freenode.net]
ulfdoz has quit [heinlein.freenode.net irc.freenode.net]
mfp has quit [heinlein.freenode.net irc.freenode.net]
ppsmimou has quit [heinlein.freenode.net irc.freenode.net]
flux has quit [heinlein.freenode.net irc.freenode.net]
Naked has quit [heinlein.freenode.net irc.freenode.net]
Snark has quit [heinlein.freenode.net irc.freenode.net]
netx has quit [heinlein.freenode.net irc.freenode.net]
gim has quit [heinlein.freenode.net irc.freenode.net]
svenl has quit [heinlein.freenode.net irc.freenode.net]
cmeme has quit [heinlein.freenode.net irc.freenode.net]
orbitz has quit [heinlein.freenode.net irc.freenode.net]
qwr has quit [heinlein.freenode.net irc.freenode.net]
AxleLonghorn has quit [heinlein.freenode.net irc.freenode.net]
Morphous_ has quit [heinlein.freenode.net irc.freenode.net]
Demitar has quit [heinlein.freenode.net irc.freenode.net]
dobblego has quit [heinlein.freenode.net irc.freenode.net]
l_a_m has quit [heinlein.freenode.net irc.freenode.net]
jonafan has quit [heinlein.freenode.net irc.freenode.net]
Ugarte has quit [heinlein.freenode.net irc.freenode.net]
thelema has quit [heinlein.freenode.net irc.freenode.net]
Oatschool has quit [heinlein.freenode.net irc.freenode.net]
pango has quit [heinlein.freenode.net irc.freenode.net]
ertai has quit [heinlein.freenode.net irc.freenode.net]
Chile` has quit [heinlein.freenode.net irc.freenode.net]
guyzmo has quit [heinlein.freenode.net irc.freenode.net]
ygrek has quit [heinlein.freenode.net irc.freenode.net]
rogo has quit [heinlein.freenode.net irc.freenode.net]
smimou has quit [heinlein.freenode.net irc.freenode.net]
vixey has quit [heinlein.freenode.net irc.freenode.net]
tsuyoshi has quit [heinlein.freenode.net irc.freenode.net]
mbishop has quit [heinlein.freenode.net irc.freenode.net]
ozzloy has quit [heinlein.freenode.net irc.freenode.net]
acatout has quit [heinlein.freenode.net irc.freenode.net]
elparo_continua has joined #ocaml
Snark has joined #ocaml
ulfdoz has joined #ocaml
ygrek has joined #ocaml
rogo has joined #ocaml
seafood has joined #ocaml
pango has joined #ocaml
r0bby has joined #ocaml
Morphous_ has joined #ocaml
Smerdyakov has joined #ocaml
smimou has joined #ocaml
hcarty has joined #ocaml
Sparkles has joined #ocaml
haelix has joined #ocaml
mfp has joined #ocaml
ppsmimou has joined #ocaml
flux has joined #ocaml
Naked has joined #ocaml
qwr has joined #ocaml
struk_atwork has joined #ocaml
ertai has joined #ocaml
bla has joined #ocaml
Demitar has joined #ocaml
netx has joined #ocaml
vixey has joined #ocaml
dobblego has joined #ocaml
jlouis has joined #ocaml
ikatz has joined #ocaml
pattern has joined #ocaml
Mr_Awesome has joined #ocaml
gim has joined #ocaml
szell` has joined #ocaml
jdev has joined #ocaml
jonafan has joined #ocaml
Ugarte has joined #ocaml
authentic has joined #ocaml
l_a_m has joined #ocaml
thelema has joined #ocaml
mattam has joined #ocaml
svenl has joined #ocaml
acatout has joined #ocaml
mbishop has joined #ocaml
orbitz has joined #ocaml
det has joined #ocaml
cmeme has joined #ocaml
tsuyoshi has joined #ocaml
Chile` has joined #ocaml
Oatschool has joined #ocaml
ozzloy has joined #ocaml
guyzmo has joined #ocaml
netx has quit ["Leaving"]
struk_atwork has quit [Read error: 104 (Connection reset by peer)]
filp has joined #ocaml
Jedai has joined #ocaml
ppsmimou has quit ["Leaving"]
asmanur has joined #ocaml
Yoric[DT] has joined #ocaml
ppsmimou has joined #ocaml
hkBst has joined #ocaml
ppsmimou has quit ["Leaving"]
ppsmimou has joined #ocaml
<flux> hmm.. 1) generate type-annotated ocaml-code (with -dtypes and a simple program) from an ml-file 2) put such ocaml-code to camlp4 and generate something fancy with the type information 3) ???? 4) Profit!
<Yoric[DT]> Yeah, I've been thinking along these lines.
<flux> I wonder if there's anything there to be gained, though :)
<flux> so, step three escaped me :)
<Yoric[DT]> I'm sure we can write a compiler for types and effects from -dtypes .
<Yoric[DT]> :)
<Yoric[DT]> s/compiler/type checker with inference/
netx has joined #ocaml
<flux> now, if there was a special notation to write type-staged code..
<Yoric[DT]> That would be nice.
seafood has quit [Read error: 104 (Connection reset by peer)]
seafood has joined #ocaml
guillem has joined #ocaml
rwmjones has joined #ocaml
OChameau has joined #ocaml
Ched- has joined #ocaml
Ched- has left #ocaml []
<Yoric[DT]> flux: if you're willing to work on that, don't hesitate :)
<flux> well, I'll put it to my todo-list.. ;-)
m3ga has joined #ocaml
LordMetroid has joined #ocaml
<Yoric[DT]> Actually, sounds like an interesting project.
* Yoric[DT] wonders if that could be a SoC.
<asmanur> What do you mean "type-staged code" ?
<flux> asmanur, there would first be code that is type-inferred, then other code that can take those inferred types and generate new code that is then compiled again
LordMetroid has quit ["Leaving"]
<asmanur> ok
ppsmimou has quit [Remote closed the connection]
ppsmimou has joined #ocaml
vbmithr has joined #ocaml
bla has quit [Read error: 113 (No route to host)]
Yoric[DT] has quit [Read error: 110 (Connection timed out)]
bla has joined #ocaml
hkBst has quit ["Konversation terminated!"]
hkBst has joined #ocaml
ygrek has quit [Remote closed the connection]
m3ga has quit ["disappearing into the sunset"]
RobertFischer has joined #ocaml
guillem has quit [Client Quit]
guillem has joined #ocaml
prince has joined #ocaml
prince has quit [Connection reset by peer]
prince has joined #ocaml
prince has quit [SendQ exceeded]
det has quit [Remote closed the connection]
prince has joined #ocaml
petchema has joined #ocaml
Jedai has quit [Connection reset by peer]
Jedai has joined #ocaml
filp has quit [Read error: 104 (Connection reset by peer)]
RobertFischer_ has joined #ocaml
RobertFischer_ has quit [Remote closed the connection]
filp has joined #ocaml
RobertFischer has quit [Read error: 110 (Connection timed out)]
bluestorm has joined #ocaml
marmotine has joined #ocaml
OChameau has quit ["Leaving"]
Smerdyakov has quit ["Leaving"]
Smerdyakov has joined #ocaml
RobertFischer has joined #ocaml
struk_atwork has joined #ocaml
<flux> I'd like to produce log-information which I could just use for jumping around in the source. so I would like to output __FILE__:__LINE__ in my code. I suppose camlp4 is the way?
<flux> or is line number information available at that point with reasonable certainty..
<bluestorm> it's easy to do with camlp4
<bluestorm> and iirc it's already in the official camlp4 distribution
<flux> oh, ok
<flux> perhaps I'll make the switch to 3.10.x within the next few weeks
<flux> so I can make use of all the fancy stuff, like new campl4..
<bluestorm> Camlp4MacroParser.ml has __FILE__ and __LOCATION__
<flux> hmm.. __LOCATION__ sounds like a character offset
<flux> but I suppose it's ok
<flux> or is it something more?
<bluestorm> __LOCATION__ returns a Loc.t, but that suppose you link the user code with the camlp4 libs
<flux> hmm.. if you redistribute, would that make the code GPL?-)
<flux> or were those parts too 'plain' LGPL
<bluestorm> i don't think so, it must be LGPL
<bluestorm> "with the special exception on linking described in LICENSE ..."
<bluestorm> wich is a permissive exception
<RobertFischer> flux: Why do you want it to change from LGPL to GPL?
<flux> I definitely wouldn't.
<flux> I was thinking that the camlp4 is a slightly more intimate part of the system than the standard libraries, so they could've been licensed with a more strict license
rwmjones has quit [Read error: 110 (Connection timed out)]
<flux> hm, interesting
<flux> what does it do?-)
<bluestorm> it's a tail-recursive fold over binary trees
guillem has quit [Remote closed the connection]
<flux> a fold-function would take three parameters, this assumes the initial value to be Nil?
<flux> your types seem quite.. generic
<bluestorm> hm
<bluestorm> actually the fold type is
<bluestorm> (('a, 'b) t -> 'b) -> ('a tree -> 'b)
<bluestorm> i could rephrase it as an usual fold actually, it's only that i've been playing with this kind of generic folds recently
<bluestorm> instead of fold f init ... you have fold (function Nil -> init | T (a, x, b) -> ...) ...
pango has quit [Remote closed the connection]
Kopophex has joined #ocaml
Yoric[DT] has joined #ocaml
rwmjones has joined #ocaml
Linktim has joined #ocaml
smimou has quit ["bli"]
netx303 has joined #ocaml
bluestorm has quit ["Konversation terminated!"]
tomh has joined #ocaml
Linktim_ has joined #ocaml
filp has quit ["Bye"]
Linktim has quit [Read error: 110 (Connection timed out)]
seafood has quit []
Yoric[DT] has quit ["Ex-Chat"]
<hcarty> ls
<hcarty> Ack, again... sorry
Yoric[DT] has joined #ocaml
r0bby has quit [Connection timed out]
bluestorm has joined #ocaml
guillem has joined #ocaml
r0bby has joined #ocaml
smimou has joined #ocaml
Kopophex has quit ["Leaving"]
Snark has quit ["Ex-Chat"]
tlh24 has joined #ocaml
<tlh24> anybody know how to make arrays in (named) record types?
<bluestorm> what do you mean ?
<flux> Array.make 100 { a = 42 } ?
<tlh24> type dsp_header = { tmpl : array; n : int }
<tlh24> will not compile
<bluestorm> aah
filp has joined #ocaml
<bluestorm> it's "int array"
<bluestorm> or "float array" or whatever
<bluestorm> not "array"
<tlh24> aha!!
<tlh24> let me try
<bluestorm> "array" is a parametrized type, you have to give it a parameter
<bluestorm> (wich is the type of the items)
<flux> could be type 'a dsp_header = { tmpl: 'a array .. }
rogo has left #ocaml []
<tlh24> yes it is int array
<tlh24> works now :) thanks!
netx303 has quit ["This computer has gone to sleep"]
netx303 has joined #ocaml
munga has joined #ocaml
TychoBrahe has joined #ocaml
Linktim- has joined #ocaml
Linktim_ has quit [Read error: 110 (Connection timed out)]
Linktim_ has joined #ocaml
smimou has quit ["bli"]
Linktim- has quit [Read error: 110 (Connection timed out)]
Linktim_ has quit [Read error: 110 (Connection timed out)]
asmanur has quit [Remote closed the connection]
filp has quit ["Bye"]
<tlh24> ok, another question on records -- how to initialize with the output of a function?
<tlh24> I have a function, 'read' that returns an integer read from a file
<tlh24> and a type like this dsp_header = { tmpl : array; n : int }
<orbitz> let (one, two) = myfunccall () in {one = one; two = two}
<bluestorm> { tmpl = [| |]; n = read_from_file foo }
<tlh24> okok
<orbitz> string_to_int (read_from_file foo)
<bluestorm> int_of_string, actually
<orbitz> err durh
<orbitz> silly french :)
<tlh24> ok, I have that syntax (bluestorm's)
<tlh24> but n is always zero
<bluestorm> (how is that related to frenchism ?)
<orbitz> french like to use 'of' i funny ways
<orbitz> like posession
<tlh24> ok, if i load the integer into a variable first, e.g. let i = read_from_file ic in
<orbitz> tlh24: there should be no difference
<tlh24> i agree!
<orbitz> unless you are relyin gon a side effec for some reason
<Yoric[DT]> orbitz: well, yes, but the alternative was calling that "int_from_string", which is even longer :)
<orbitz> Yoric[DT]: haah
<tlh24> ok, there is a side-effect
<tlh24> bytes are read from a file
<tlh24> so each time the function is called, something new is returned
<tlh24> i guess just have to use a bunch of let statements. ahwell.
TychoBrahe has left #ocaml []
RobertFischer has quit ["Taking off -- check out http://smokejumperit.com and http://enfranchisedmind.com/blog/"]
netx303 has left #ocaml []
Jedai has quit [Read error: 113 (No route to host)]
bluestorm has quit ["Konversation terminated!"]
Jedai has joined #ocaml
OChameau has joined #ocaml
guillem has quit [Remote closed the connection]
Jedai has quit ["KVIrc 3.4.0 Virgo http://www.kvirc.net/"]
smimou has joined #ocaml
munga has quit ["Ex-Chat"]
marmotine has quit ["Quitte"]
rwmjones has quit ["Closed connection"]
Yoric[DT] has quit ["Ex-Chat"]
Kopophex has joined #ocaml
tlh24 has quit []
AxleLonghorn has joined #ocaml
AxleLonghorn has left #ocaml []
hkBst has quit ["Konversation terminated!"]
OChameau has quit [Read error: 113 (No route to host)]