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
<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)]