(13)I second the use of "begin..end" in nested matches. I like this form because it is closer to Coq's pattern-matching syntax, which is simply match t with ...
(3)Like Gabriel mentioned there's no "dump" function exactly. I have found that using Printf isn't too hard to modify for the values you need. In a bit of a weird
(3)Thanks for your explanation. A natural thing to do, then, would be to define let lexing_from_file file_name= let in_channel=open_in file_name in let
Fetching Sponsored Content...
(6)... This looks like what I wanted. In the complete program, Chargram is passed as a parameter to a functor that takes a GRAMMAR, so the first solution you
(3)It works, thanks. I was unaware that brackets could be used for non-alphanumeric characters
(12)... There's scons. It was designed to handle complex build situations, written in python, and intended to be extended to new tools and th elike using
(5)I use .ocamlinit too, in conjunction with ocamlmktop. My .ocamlinit just contains one line, #use"my_pervasives.ml";; and my_pervasives.ml contains all the
(3)... It does help! In fact, it seems to work fine. Many thanks. ... I would do the compile and test cycle at the shell level. Proof of concept: # if you
(5)... Just rethinking this part: why should we install the opam binary on a server public path, and all the opam packages in your own $HOME? This only makes
View First Topic Go to
Loading 1 - 9 of total 9 topics