<sOpen>
I have "ocamlc -rectypes -package ulex -syntax camlp4o ulexing.cma -c $FILE" and "ocamlfind ocamlmktop -o sym -rectypes -linkpkg -package ulex unix.cma util.cmo tree.cmo zipper.cmo sym.cmo test.cmo" but I get "Unit Test imports from , which uses recursive types. The compilation flag -rectypes is required". Why?
caligula_ has joined #ocaml
Amorphous has quit [Read error: 110 (Connection timed out)]
caligula has quit [bartol.freenode.net irc.freenode.net]
slash_ has quit [bartol.freenode.net irc.freenode.net]
BiDOrD has quit [bartol.freenode.net irc.freenode.net]
mehdid has quit [bartol.freenode.net irc.freenode.net]
mattam has quit [bartol.freenode.net irc.freenode.net]
petchema has quit [bartol.freenode.net irc.freenode.net]
mal`` has quit [bartol.freenode.net irc.freenode.net]
rbancroft has quit [bartol.freenode.net irc.freenode.net]
tab has quit [bartol.freenode.net irc.freenode.net]
raboof has quit [bartol.freenode.net irc.freenode.net]
gim has quit [bartol.freenode.net irc.freenode.net]
slash_ has joined #ocaml
jeddhaberstro_ has joined #ocaml
Amorphous has joined #ocaml
BiDOrD has joined #ocaml
tab has joined #ocaml
raboof has joined #ocaml
gim has joined #ocaml
rbancroft has joined #ocaml
mattam has joined #ocaml
mal`` has joined #ocaml
petchema has joined #ocaml
mehdid has joined #ocaml
<sOpen>
The answer is "use -rectypes with the custom toplevel"
Jedai has quit [Read error: 113 (No route to host)]
jeddhaberstro has quit [Read error: 110 (Connection timed out)]
jeddhaberstro has joined #ocaml
jeddhaberstro_ has quit [Read error: 110 (Connection timed out)]
verte has joined #ocaml
maskd has quit ["leaving"]
julm has quit ["smurf !"]
sOpen has quit [Read error: 110 (Connection timed out)]
willb has joined #ocaml
dabd has quit [Client Quit]
verte has quit ["~~~ Crash in JIT!"]
verte has joined #ocaml
tvn2009 has joined #ocaml
tvn2009 has quit [Remote closed the connection]
tvn2009 has joined #ocaml
mjs22 has joined #ocaml
mjs22 has quit [Client Quit]
kaustuv has joined #ocaml
mjs22 has joined #ocaml
mishok13 has joined #ocaml
caligula__ has joined #ocaml
tvn has joined #ocaml
tvn2009_ has joined #ocaml
mjs22 has quit []
tvn has quit ["Leaving"]
tvn2009 has quit ["Leaving"]
caligula_ has quit [Read error: 110 (Connection timed out)]
jeddhaberstro has quit [Client Quit]
tvn2009_ has quit ["ChatZilla 0.9.85 [Firefox-3.5 3.5.1/20090716174136]"]
bluestorm has joined #ocaml
BiDOrD has quit [Read error: 110 (Connection timed out)]
bluestorm has quit ["Leaving"]
ppsmimou has joined #ocaml
verte has quit ["q"]
hto has quit ["leaving"]
hto has joined #ocaml
verte has joined #ocaml
eevar2 has joined #ocaml
Jedai has joined #ocaml
ppsmimou has quit [Remote closed the connection]
Demitar has joined #ocaml
hkBst has joined #ocaml
smimou has joined #ocaml
sramsay has joined #ocaml
th5 has joined #ocaml
kaustuv_ has joined #ocaml
kaustuv has quit [Read error: 104 (Connection reset by peer)]
kaustuv_ is now known as kaustuv
sramsay has quit [Remote closed the connection]
sramsay has joined #ocaml
|Jedai| has joined #ocaml
gazoline has joined #ocaml
komar_ has joined #ocaml
verte has quit [Read error: 104 (Connection reset by peer)]
Jedai has quit [Read error: 113 (No route to host)]
marteo has joined #ocaml
<flux>
finally I created the ocamlcore account
<flux>
to file a bug report on calendarlib installing superfluous .cmi-files
seafood has joined #ocaml
noj has quit [bartol.freenode.net irc.freenode.net]
noj has joined #ocaml
Spiwack has joined #ocaml
_zack has joined #ocaml
komar_ has quit ["WeeChat 0.2.6.3-ohshi"]
th5 has quit [Remote closed the connection]
th5 has joined #ocaml
th5 has quit [Remote closed the connection]
th5 has joined #ocaml
BiDOrD has joined #ocaml
Asmadeus has quit [Read error: 110 (Connection timed out)]
Camarade_Tux has quit [Read error: 110 (Connection timed out)]
willb has quit [Read error: 110 (Connection timed out)]
<flux>
hm, does ocaml-reins not have an iterator module for maps?
kaustuv has quit [Read error: 104 (Connection reset by peer)]
kaustuv_ has joined #ocaml
kaustuv_ is now known as kaustuv
bombshelter13_ has joined #ocaml
<th5>
flux: on their site in the Coming features section - "Iterators for maps and heaps"
<th5>
though i guess the project is dead
<th5>
talk about dead - august in france now
<th5>
ocaml list sure cleared out
bombshelter13_ has quit []
bombshelter13_ has joined #ocaml
th5 has quit []
|Jedai| has quit [Read error: 113 (No route to host)]
BiDOrD has quit [Read error: 110 (Connection timed out)]
BiDOrD has joined #ocaml
smimou has quit ["bli"]
bluestorm has joined #ocaml
Jedai has joined #ocaml
jeddhaberstro has joined #ocaml
eevar2 has quit [Remote closed the connection]
_andre has joined #ocaml
oc13 has joined #ocaml
Elive_user7_fr has joined #ocaml
oc13 has left #ocaml []
amuck_ has joined #ocaml
_zack has quit ["Leaving."]
komar__ has joined #ocaml
willb has joined #ocaml
bombshelter13__ has joined #ocaml
bombshelter13_ has quit [Read error: 104 (Connection reset by peer)]
seafood has quit []
sOpen has joined #ocaml
_zack has joined #ocaml
ulfdoz has joined #ocaml
Smerdyakov has joined #ocaml
Narrenschiff has joined #ocaml
_zack has quit ["Leaving."]
itewsh has joined #ocaml
sOpen has quit [Read error: 110 (Connection timed out)]
_andre has quit ["Lost terminal"]
amuck_ has quit []
sOpen has joined #ocaml
Smerdyakov has quit ["Leaving"]
Spiwack has quit ["Leaving"]
<kaustuv>
bluestorm: re your LtU post, surprising that no one objected to your calling the recursive always vs. explicit recursion matter a settled debate
<bluestorm>
hm
<bluestorm>
do you mean that most syntax design still aren't aware of the implicit recursion pain ?
<bluestorm>
(funny that I ran into the type recursion problem just a few days ago, with something like module Sql = struct type int = < t : int; numeric : true_t > ... end )
<kaustuv>
well, I think implicit recursion is a bad idea too, but I've seen it defended on #haskell before
<bluestorm>
oh, defended ? maybe I should ask them
<bluestorm>
but I understand that an explicit recursion keyword wouldn't fit well in the Haskell syntax
<bluestorm>
(once you drop "let", adding "rec" is something of a pain)
<kaustuv>
well, given the lazy nature of the language, which makes data constructors co-inductive, it makes a lot of conceptual sense to treat all terms co-inductively
* rwmjones
found haskell scoping rules to be incomprehensible
<rwmjones>
and they were doubly hard because I was generating the haskell code from another program
<bluestorm>
rwmjones: the usual haskell argument is that, given the lazyness, a little to much scope is not a problem
<bluestorm>
s/to/too/
<kaustuv>
I believe in the Clojure dialect of lisp data constructors are still lazy even though application is strict. I've seen people argue that this is the best of both worlds.
<bluestorm>
hm, that's interesting
<bluestorm>
and it's quite easy to provide that use case in a strict language
<bluestorm>
(It seems easier to add nice tools for lazy constructors in a strict language than good support for strict application in a lazy language, as constructors already carry some syntaxic burden so the difference is less notceable)
<kaustuv>
yeah, that's what the DDC dialect of Haskell does. Too bad no one uses it. (Possibly because it has a crazy type system.)
Narrenschiff has quit []
itewsh has quit [Connection timed out]
<bluestorm>
kaustuv: the one with closure and effect typing ?
itewsh has joined #ocaml
<kaustuv>
I think closure typing, not sure of effects. It has the weird and questionable feature that you can assign to any variable.
komar__ has quit ["WeeChat 0.2.6.3-ohshi"]
Jedai has quit [Read error: 104 (Connection reset by peer)]
Jedai has joined #ocaml
ulfdoz has quit ["brb"]
itewsh has quit [Connection timed out]
itewsh has joined #ocaml
ulfdoz has joined #ocaml
sOpen has quit [Read error: 60 (Operation timed out)]
Narrenschiff has joined #ocaml
mishok13 has quit [Read error: 110 (Connection timed out)]
mishok13 has joined #ocaml
itewsh has quit [Connection timed out]
itewsh has joined #ocaml
<bluestorm>
joys of PostGreSQL typing : NULL + 1 is legal, NULL < NULL returns NULL, but (NULL < NULL) + 1 doesn't typechecks