<keep_learning>
but I am getting some type error which I am not able to decode.
<keep_learning>
Could some one please tell me what is wrong with this code.
<keep_learning>
I have problem when I am adding | Declare (x, exp, body ) -> evaluate ( substituteOne ( x, evaluate exp ) body ) in evaluate code
<keep_learning>
line 28 in paste
<Kakadu>
keep_learning: let rec evaluate = ... and substitute_one = ....
AltGr has joined #ocaml
<keep_learning>
Also I would like to any general suggestion regarding learning OCaml.
<keep_learning>
Kakadu: Thank you.
<keep_learning>
Kakadu: BTW you just suggested substitute_one so no camel case in OCaml ( substituteOne )
<companion_cube>
except for constructors, yes
<Drup>
and modules
<companion_cube>
indeed
<Drup>
BatMap ! :D
<keep_learning>
companion_cube: Drup Thank you!
tnguyen has quit [Ping timeout: 245 seconds]
maattdd has joined #ocaml
tnguyen has joined #ocaml
<keep_learning>
Also I am using Tuareg but I have very hard time in know the exact line of error. It gives me character number so is there any way make it line number and column number ( Characters 405-765: Warning 8: this pattern-matching is not exhaustive)
<Drup>
use "M-x compile" and enter your compiler command
<Drup>
you will be able to click on the error to jump to the location
rand000 has joined #ocaml
<Drup>
also, you should use merlin
ollehar has quit [Ping timeout: 240 seconds]
__marius___ has quit [Ping timeout: 252 seconds]
__marius___ has joined #ocaml
ddosia has quit [Remote host closed the connection]
adrien_o1w is now known as adrien_oww
AltGr has left #ocaml []
AltGr has joined #ocaml
bholst has joined #ocaml
maattdd has quit [Ping timeout: 245 seconds]
nikki93 has quit [Remote host closed the connection]
<AngryRam>
can someone tell me where is the "circularity" error here?
<asmanur>
is it standard ML ?
<Drup>
I don't know, but "fn" and "=>" is not going to work in ocaml
<AngryRam>
yes, SML
<AngryRam>
#sml is dead :)
<asmanur>
you perhaps reversed the argument of your lambda ?
<asmanur>
because you take the element of the list and the acc, but you give the acc and then the list
maattdd has joined #ocaml
<AngryRam>
@asmanur i dont see what ur saying
IbnFirnas_ has quit [Remote host closed the connection]
termos has quit [Remote host closed the connection]
ggherdov has quit [Remote host closed the connection]
<gasche>
kerneis: I hate it when people write 97 instead of (Char.code 'a')
strmpnk has quit [Remote host closed the connection]
lostcuaz has joined #ocaml
lostcuaz has quit [Read error: Connection reset by peer]
lostcuaz has joined #ocaml
lostcuaz has quit [Read error: Connection reset by peer]
lostcuaz has joined #ocaml
<gasche>
(but I agree the best version is asmanur's 'a'..'z', understanding that they're all crap in a unicode-world anyway)
<gasche>
kerneis: why would a function like starts_with_upper_letter be part of a performance bottleneck anyway? I didn't think lem was a text-processing application
tobiasBora has joined #ocaml
<tobiasBora>
Hello,
<tobiasBora>
I'm trying to install merlin with opam but I get an error message : "Package `menhirLib` not found"
<tobiasBora>
(while Menhir was just installed before as a dependency)
<tobiasBora>
Here is the logs :http://paste.ubuntu.com/7255587
<kerneis>
gasche: I'm not 100% which part was the bottleneck, except it had to do with compiling regexps; so I grepped for Str.regexp and fixed all the crap
<tobiasBora>
I can see menhir when I do ocamlfind list | grep menhir
<kerneis>
but Lem does a lot of string manipulation, unfortunately
<tobiasBora>
And ocamlfind query menhirLib gives me /home/leo/.opam/system/lib/menhirLib
<tobiasBora>
Any idea why ocamlfind find the lib but it doesn't when I use opam ?
<gasche>
is ocamlfind install by opam?
<gasche>
it's suspicious that it calls /usr/bin/ocamlfind
AngryRam has quit [Quit: Leaving.]
<gasche>
you should `opam install ocamlfind` and retry, and then maybe send menhir's OPAM packager a mail about needing ocamlfind as a dependency
<tobiasBora>
gasche: I don't remember installing ocamlfind manually but I'm not sure...
ikaros has quit [Quit: Ex-Chat]
<tobiasBora>
Well which ocamlfind gives me /home/leo/.opam/system/bin/ocamlfind
<kerneis>
tobiasBora: gasche I've seen a similar failure yesterday
<gasche>
(it's on the 'system' switch which is probably the least well-tested)
<kerneis>
someone on BSD, trying to use ocamlc from its package manager, and the rest via opam
<gasche>
tobiasBora: which OCaml version is that?
strmpnk has joined #ocaml
<asmanur>
tobiasBora: is 1.3 the last version ?
<gasche>
I think there may have been a bug in pre-4.00 ocamlbuild related to tools path lookup
tlockney_away is now known as tlockney
<asmanur>
I think the last one should be 1.6
<kerneis>
the problem was that /usr/bin/ocamlbuild called /usr/bin/ocamlfind even though "ocamlfind" in the toplevel yielded the opam one
<tobiasBora>
asmanur: The git repo says it's 1.6 indeed
<asmanur>
so does the opam-repository
<gasche>
the bug I'm thinking of was fixed in Jan 2013
<tobiasBora>
gasche: 3.12.1
<asmanur>
have you updated your opam db lately ?
<tobiasBora>
asmanur: I don't think so... How could I do it ?
<tobiasBora>
opam update ?
<gasche>
asmanur: later merlin don't build under 3.12.1
<gasche>
you introduced GADTs at some point (for greater good)
<asmanur>
oh right didn't see the ocaml version
<gasche>
tobiasBora: considering installing a 4.01 switch which would avoid you a lot of troubles
<gasche>
s/considering/consider/
<tobiasBora>
gasche: And what is the best way to install 4.01 ?
<gasche>
opam switch install 4.01.0
<tobiasBora>
Is it possible to have both 3.* and 4.* in the same system ?
<gasche>
yes
avsm has quit [Quit: Leaving.]
IbnFirnas_ has joined #ocaml
<tobiasBora>
gasche: And is there a way to see already installed versions ? Because opam switch list gives me all available versions on the internet
<Drup>
-i
<whitequark>
Kakadu: companion_cube: it's trivial (a test)
<tobiasBora>
Drup: Thank you !
<whitequark>
I will absolutely blog about it, because the concept is very simple and natural and *so much better* than camlp4
<whitequark>
in retrospect I even fail to understand why someone merged camlp4
paolooo has quit [Ping timeout: 240 seconds]
<Drup>
whitequark: agreed.
<tobiasBora>
Each packet has a version for ocaml 3.12 and 4.0 ?
<gasche>
tobiasBora: but you don't need to have the same list of packets installed on both
<gasche>
the "switch" you are in is a bit of global state (of your shell environment)
<gasche>
and each package install request is relative to this switch
<tobiasBora>
gasche: And it's possible to install a package for all switchs ?
<gasche>
so if you "opam install merlin" in 4.01, you won't have merlin installed in 3.12 (or you can, possibly with a different version)
<gasche>
good question
<gasche>
I don't know
divyanshu has quit [Ping timeout: 258 seconds]
<gasche>
but it's rather easy to export the list of packages you have installed on a switch
<tobiasBora>
Ok thank you. That's pretty amazing ^^
<gasche>
and then request its installation on the other
<tobiasBora>
It compiles merlin !!!
<tobiasBora>
Thank you !
<tobiasBora>
With something like opam list -i ?
<gasche>
there is a "opam switch export" command
<gasche>
and "opam switch import" from the other end
<tobiasBora>
And when I run merlin-mode in emacs I have the error "ocamlmerlin not found" while which ocamlmerlin gives me "/home/leo/.opam/4.01.0/bin/ocamlmerlin"
<tobiasBora>
Do I need to export in emacs some variables ?
CissWit has quit [Quit: I probably failed.]
tnguyen has quit [Ping timeout: 250 seconds]
nikki93 has joined #ocaml
<tobiasBora>
I will try a reboot...
tobiasBora has quit [Quit: Konversation terminated!]
thomasga has joined #ocaml
avsm has joined #ocaml
tobiasBora has joined #ocaml
<tobiasBora>
With the reboot it works...
<tobiasBora>
I don't know why but opam modification is never reported to emacs, even if I restart it
Hannibal_Smith has joined #ocaml
axiles has quit [Ping timeout: 245 seconds]
<Drup>
tobiasBora: how do you launch your emacs ?
axiles has joined #ocaml
<tobiasBora>
Drup: with emacsclient
<Drup>
so you have a server launched
<Drup>
opam use variable environment
<gasche>
I never understood how to have Emacs pick the correct switch
<Drup>
obviously, emacs can't see the variable environment change, since it's not in the same shell
<gasche>
my solution is to use the following
<gasche>
opam config exec "<my command>"
<tobiasBora>
Well... So no in fact I've a script which uses emacs if emacs is closed
<gasche>
(with a --switch=<switch> parameter if you want to use a different switch)
tnguyen has joined #ocaml
<Drup>
gasche solution is probably the good one
<gasche>
(so eg. to get a working toplevel, when tuareg asks me which toplevel to run, I use "opam config exec ocaml" instead of "ocaml"
<gasche>
)
<tobiasBora>
gasche: So it would look like "opam config exec 'emacs'" ?
<tobiasBora>
and opam set it for the current environment ?
<tobiasBora>
Because by default which environment is modified ?
<asmanur>
is it possible to use batteries & js_of_ocaml?
* Drup
invoke companion_cube
<Drup>
asmanur: either you use js_of_ocaml 2.0 and play carefully with what you are calling, or you use the version by companion_cube that removes Unix in the core of batteries
<asmanur>
does js_of_ocaml 2.0 exist ?
zarul has joined #ocaml
zarul has quit [Changing host]
zarul has joined #ocaml
<asmanur>
oh right
ollehar has joined #ocaml
<asmanur>
hm
<Drup>
yes, it does :D
<asmanur>
that'll wait :P
<asmanur>
i have a compiled version of js_of_ocaml dating of 2 weeks
<kerneis>
it’s not long to compile
<kerneis>
not longer than trolling on irc, anyway
<asmanur>
yeah but i have to remove the previously manually installed version
<asmanur>
deal with the mess
<Drup>
"opam reinstall js_of_ocaml"
<kerneis>
rm -rf ~
<asmanur>
killall irssi
tani has joined #ocaml
<whitequark>
cat ~/.ssh/id_rsa
tane has quit [Ping timeout: 265 seconds]
tani has quit [Ping timeout: 245 seconds]
tane has joined #ocaml
thomasga has quit [Quit: Leaving.]
adrieng has quit [Quit: leaving]
avsm has quit [Quit: Leaving.]
tobiasBora has quit [Quit: Konversation terminated!]
<gasche>
easy way to miss one's shuttle: wait until your fuzzer finds a bug in an already-hardened-enough implementation
jwatzman|work has joined #ocaml
tnguyen has quit [Ping timeout: 250 seconds]
<companion_cube>
Drup: :D
maattdd has quit [Ping timeout: 265 seconds]
_5kg has quit [Ping timeout: 250 seconds]
Mandus has quit [Quit: leaving]
Mandus has joined #ocaml
ocp has quit [Ping timeout: 245 seconds]
<nicoo>
whitequark: .ssh/id_rsa: No such file or directory; did you mean id_ecdsa?
* whitequark
grins
tnguyen has joined #ocaml
<flux>
zsh can do that :), but if it were configured to be so lenient it would be wildly annoying
lordkryss has joined #ocaml
<nicoo>
flux: ZSH askes me, yes, but it would need rsa and ecdsa to be more similar
<flux>
nicoo, I think you can configure it.. it's zsh, after all.
zarul has quit [Quit: Leaving]
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
maattdd has joined #ocaml
avsm has joined #ocaml
thomasga has joined #ocaml
nikki93 has quit [Remote host closed the connection]
<Drup>
flux: you can answer pretty much any question about zsh by "you can configure it" :3
NoNNaN has quit [Remote host closed the connection]
NoNNaN has joined #ocaml
q66 has joined #ocaml
q66 has quit [Changing host]
q66 has joined #ocaml
Thooms has quit [Quit: WeeChat 0.3.8]
avsm has quit [Quit: Leaving.]
nikki93 has joined #ocaml
q66 has quit [Ping timeout: 252 seconds]
q66 has joined #ocaml
q66 has quit [Changing host]
q66 has joined #ocaml
Arsenik has quit [Remote host closed the connection]
Arsenik has joined #ocaml
jonludlam has quit [Ping timeout: 245 seconds]
ocp has joined #ocaml
zpe has joined #ocaml
nikki93 has quit [Remote host closed the connection]
ocp has quit [Ping timeout: 245 seconds]
lordkryss has quit [Ping timeout: 245 seconds]
WraithM has joined #ocaml
michel_mno is now known as michel_mno_afk
ollehar has quit [Ping timeout: 240 seconds]
Kakadu has quit [Ping timeout: 240 seconds]
tnguyen has quit [Ping timeout: 265 seconds]
<whitequark>
hmmm, is lwt broken on 4.02.0dev+trunk?
tnguyen has joined #ocaml
<whitequark>
as it doesn't have camlp4 anymore
marcux has quit [Quit: marcux]
<Drup>
there is probably a flag somwhere to disable the extension
tnguyen has quit [Max SendQ exceeded]
marcux has joined #ocaml
avsm has joined #ocaml
<pippijn>
so camlp4 is going away entirely?
<whitequark>
it's split into its own repo
<whitequark>
personally I wouldn't cry for it. every single extension I use could be rewritten, and more cleanly at that, with ppx
nikki93 has joined #ocaml
tnguyen has joined #ocaml
<elfring>
Do you expect that compiled module interfaces will be stored in a standard directory for your software libraries?
<adrien>
cmi files are required
<adrien>
so, yes
Thooms has joined #ocaml
<whitequark>
ugh, how do you call the ppx extensions in singular?
<whitequark>
"the extension points API" is unwieldy
<whitequark>
*ppx extension API
tnguyen has quit [Ping timeout: 265 seconds]
maattdd has quit [Ping timeout: 240 seconds]
<jpdeplaix>
gasche: hopefully it wasn't the last shuttle :D
lordkryss has joined #ocaml
_tca has quit [Changing host]
_tca has joined #ocaml
_tca has quit [Changing host]
_tca has joined #ocaml
<ggole>
Hopefully ppx will actually be documented.
<rgrinberg>
well it seems a lot smaller
<rgrinberg>
i also hope that ocamlbuild will get the same treatment as camlp4
<ggole>
That's not saying much :)
<ggole>
I remember bouncing off camlp4 a few times: the first time I loaded it up in the repl and did module C = Camlp4 to see what was in it
<ggole>
Then, after waiting for a bit, I went and made a cup of coffee
<ggole>
And it had printed just under 20k lines of interface.
<Drup>
ggole: ppx is already documented
<Drup>
parstree.mli is very informative and alain frisch as done some examples in experimental/frisch/
<Drup>
whitequark: why not just "ppx API" ?
<Drup>
x being extension, ppx extension sounds a bit redundant
tnguyen has joined #ocaml
jonludlam has joined #ocaml
<whitequark>
ggole: 16255 to be precise
<whitequark>
ggole: ppx is documented.
<whitequark>
well, actually, just wait until I publish my article, it's all there :p
* whitequark
is ⅓ done
<Drup>
whitequark: what is your first ppx doing ?
<ggole>
It was 195xx, or something like that: a different version of camlp4, I guess.
<Drup>
camlp5 maybe ?
<whitequark>
Drup: a protobuf serializer/deserializer
<Drup>
whitequark: you will receive the love from at least 2 person in this channel, I think
<ggole>
I seem to remember it was an oldish ocaml from the Debian archives
<mrvn>
Drup: we need more extension extensions
* ggole
approves of whitequark
<whitequark>
\o/
<ousado>
how does protobuf deal with ADTs?
<whitequark>
ousado: it has enums
<mrvn>
given that sniplet I don't think there should be a libfl.so.2.0.0
<mrvn>
ups
<whitequark>
although, now that I look at it, it doesn't directly support "enums with parameters"
axiles has quit [Ping timeout: 258 seconds]
<elfring>
What is the default installation directory for cmi files of your software libraries?
<whitequark>
fortunately, the wire protocol is very lightweight and I think I'll be able to desugar it into whatever protobuf supports.
Kakadu has joined #ocaml
<whitequark>
i.e. a numeric enum and a bunch of optional records immediately succeeding it. the invariants are lost to C protobuf, but could be restored with a custom option in protoc, if someone wants to do that.
<ggole>
So many structured formats lack decent sums :/
<whitequark>
yeah.
rand000 has quit [Ping timeout: 252 seconds]
<whitequark>
really, protobuf is not perfect. I'm using it because: 1) it's not yet another binary JSON (biniou, bson) 2) it's not ocaml-specific
jonludlam has quit [Ping timeout: 240 seconds]
willy_ has joined #ocaml
<willy_>
bonsoir
Anarchos has joined #ocaml
rand000 has joined #ocaml
tnguyen has quit [Ping timeout: 250 seconds]
maattdd has joined #ocaml
tnguyen has joined #ocaml
tnguyen has quit [Ping timeout: 250 seconds]
marcux has quit [Quit: marcux]
tnguyen has joined #ocaml
<NoNNaN>
I try to compile from source the llvm3.3 and got the following message. Any idea? Bad magic number for this ocamldoc dump! This dump was not created by this version of OCamldoc.
_5kg has joined #ocaml
zpe has quit [Remote host closed the connection]
tnguyen has quit [Ping timeout: 250 seconds]
zpe has joined #ocaml
axiles has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
tnguyen has joined #ocaml
zpe has joined #ocaml
sgnb has quit [Ping timeout: 245 seconds]
<whitequark>
NoNNaN: that's odd. have you tried cleaning the tree and starting over?
<whitequark>
perhaps only the OCaml subtree, i.e. make -C bindings/ clean
<whitequark>
NoNNaN: if that doesn't help, please post a full build log on pastebin or gist
tnguyen has quit [Ping timeout: 245 seconds]
tnguyen has joined #ocaml
zarul has joined #ocaml
zarul has quit [Changing host]
zarul has joined #ocaml
zarul has quit [Remote host closed the connection]
maattdd has quit [Ping timeout: 258 seconds]
zarul has joined #ocaml
zarul has quit [Changing host]
zarul has joined #ocaml
divyanshu has joined #ocaml
WraithM has quit [Ping timeout: 276 seconds]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Ping timeout: 265 seconds]
tnguyen has quit [Ping timeout: 245 seconds]
<thomasga>
hum I've just got a 16k line error message
<thomasga>
not sure what to do with that ...
<def-lkb>
how :D?
<Drup>
my bet is on polymorphic variants
Hannibal_Smith has quit [Quit: Sto andando via]
<mrvn>
or objects
<mrvn>
functor over a module with objects that have polymorphic variants?
<companion_cube>
object wrapping a first-class functor with a polymorphic variant-parametrized functionalobject
WraithM has joined #ocaml
<ggole>
Shelling out to a C++ compiler
<def-lkb>
:D
<adrien>
I like ocaml-fileutils
<adrien>
but sometimes I don't understand why it doesn't use Filename more (from the stdlib)
tnguyen has joined #ocaml
maattdd has joined #ocaml
<adrien>
actually there's a reason: it handles paths for OSes which aren't the current on
<adrien>
e
<adrien>
but there are bugs ='(
tnguyen has quit [Ping timeout: 265 seconds]
<whitequark>
ggole: haha
angerman has joined #ocaml
maattdd has quit [Ping timeout: 250 seconds]
lordkryss has quit [Read error: Connection reset by peer]
lordkryss_ has joined #ocaml
nikki93 has quit [Read error: Connection reset by peer]
divyanshu has quit [Quit: Computer has gone to sleep.]
nikki93 has joined #ocaml
ggole has quit []
lostcuaz has quit [Ping timeout: 252 seconds]
lostcuaz has joined #ocaml
marcux has joined #ocaml
_andre has quit [Quit: leaving]
tnguyen has joined #ocaml
lostcuaz_ has joined #ocaml
thomasga has quit [Quit: Leaving.]
tnguyen has quit [Max SendQ exceeded]
thomasga has joined #ocaml
tnguyen has joined #ocaml
shinnya has joined #ocaml
marcux has quit [Ping timeout: 258 seconds]
ygrek has quit [Ping timeout: 240 seconds]
lostcuaz has quit [Ping timeout: 276 seconds]
marcux has joined #ocaml
nikki93 has quit [Ping timeout: 252 seconds]
zpe has joined #ocaml
maattdd has joined #ocaml
zpe has quit [Ping timeout: 250 seconds]
tnguyen has quit [Ping timeout: 265 seconds]
nikki93 has joined #ocaml
Submarine has quit [Quit: Leaving]
tnguyen has joined #ocaml
tnguyen1 has joined #ocaml
tnguyen has quit [Ping timeout: 250 seconds]
jonludlam has joined #ocaml
tane has quit [Quit: Verlassend]
tnguyen has joined #ocaml
elfring has quit [Quit: Konversation terminated!]
maattdd has quit [Ping timeout: 258 seconds]
ocp has joined #ocaml
dapz has joined #ocaml
angerman has quit [Quit: Bye]
axiles has quit [Quit: Quitte]
zpe has joined #ocaml
yacks has quit [Quit: Leaving]
<thomasga>
re 16k error message: with first-class modules!
maattdd has joined #ocaml
tnguyen has quit [Ping timeout: 245 seconds]
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
lostcuaz_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zpe has quit [Ping timeout: 240 seconds]
lostcuaz has joined #ocaml
lostcuaz has quit [Client Quit]
zxqdms has joined #ocaml
Kakadu has quit [Quit: Konversation terminated!]
<tautologico>
so what's everyone using for monad do notation?
<smondet>
tautologico: none, just: something () >>= fun result -> ...
tnguyen has joined #ocaml
lostcuaz has joined #ocaml
lostcuaz_ has joined #ocaml
<whitequark>
Lwt has an extension for its monads: lwt x = f in y → Lwt.bind f (fun x -> y)
<whitequark>
(Alain Frisch in his notes writes that he considers the way omonad alters the syntax harmful.)
<Drup>
I agree with him, it should be changed to use an extension point when next ocaml is out
<Drup>
(the author is not going to do it, unfortunatly)
<whitequark>
yeah :(
* whitequark
wonders whom to ping with ctypes PRs. it's a bit annoying to have a web of interdependent packages, all with local modifications necessary for them to work well.
<whitequark>
Google Translate tells me: "If , Kannada alphabet ta - the second character class. It's a sauce ."
maattdd has quit [Ping timeout: 252 seconds]
rand000 has quit [Quit: leaving]
nikki93 has joined #ocaml
jonludlam has quit [Ping timeout: 252 seconds]
lostcuaz_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Simn has quit [Quit: Leaving]
michael_lee has quit [Quit: Ex-Chat]
tnguyen has joined #ocaml
WraithM has quit [Ping timeout: 240 seconds]
darkf has joined #ocaml
<whitequark>
jpdeplaix: how do I add an overlay?
<Drup>
opam remote add FOO adress/to/foo
<whitequark>
Drup: thanks
thomasga has joined #ocaml
dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
<whitequark>
nope, jpdeplaix's overlay fails with the same error
<whitequark>
I mean, it doesn't even start to build stuff. it just dies somewhere inside ocamlbuild
tnguyen has quit [Ping timeout: 265 seconds]
<malvarez>
is there a way to tell ocamlyacc to open a specific module in the generated mli?
<whitequark>
Drup: oooooh, I just realized that all the extension points changes will mean that camlp4 won't build, since it manipulates OCaml's ASTs internally
<whitequark>
so it's all in vain
<Drup>
yes
<Drup>
that's exactly what I told you :D
<whitequark>
well, I'm dumb! :)
<Drup>
malvarez: you can include code in the beginning with {% %} (iirc)
<malvarez>
Drup: my problem is that %{ %} seems to only include code in the .ml file, not the .mli
<Drup>
oh
<Drup>
yes
<Drup>
you can't.
tnguyen has joined #ocaml
<malvarez>
well, that's...a disappointment
<Drup>
:/
<Drup>
you just need to fully identify your type
<Drup>
you can write a type expression there, so it's not really an issue
<malvarez>
...yeah, that works. I can't understand how I didn't think of that
<malvarez>
thanks
<Drup>
dinosaure got the exact same issue earlier in the evening ;)
<malvarez>
well, besides that small inconvenience, I msut say ocamlyacc/ocamllex is awesome
madroach has quit [Ping timeout: 252 seconds]
darkf_ has joined #ocaml
<Drup>
menhir is even better
<whitequark>
*much* better
<whitequark>
and consider using ulex
madroach has joined #ocaml
darkf has quit [Ping timeout: 258 seconds]
darkf_ is now known as darkf
<malvarez>
thanks, compiling my existing grammar with menhir immediately yielded a few extremely helpful warnings
<whitequark>
it also seems like ocamlfind is unable to package ppx extensions yet
<whitequark>
this is so going to be an uphill battle.
<companion_cube>
the hill is lowering as we get closer to 4.02, hopefully
NoNNaN has quit [Remote host closed the connection]
<whitequark>
well, I'll just need to also patch camlp4, findlib and oasis