Hi Jon,
| I stumbled upon the following article that describes a remarkably simple
| implementation of arithmetic over power series in Haskell:
|
| http://www.cs.dartmouth.edu/~doug/powser.html
|
| This is the only compelling example of Haskell I have ever seen and I'd like
| to see this
I'm pleased to announce the availability of my textbook on logic and
automated theorem proving, in which all the major techniques that are
described are also implemented as concrete OCaml code:
Handbook of Practical Logic and Automated Reasoning
John Harrison
I'd like a variant of the #use directive for reading in an OCaml
source file, but with the property that it halts immediately on the
first error anywhere in a nesting of #use'd files. For example,
suppose you have a file root.ml containing
let x = 1;;
#use branch.ml;;
let y = 2;;
and a
Hi Zheng,
| You may try the following code snippet. It's not a total solution
| but an ad-hoc workaround. It only deals with recursive #use like
| in your example (e.g., #load operation inside a #use script
| will still behave the same as before), though it's not difficult
| to adapt the other
| See this post on beginner's list:
| http://tech.groups.yahoo.com/group/ocaml_beginners/message/6905
Thanks, that almost certainly explains it: dynamic loading for Intel
Macs started working in 3.10, though it worked earlier on PPC.
John.
___
I'm trying once again to make some code work under the new camlp4. I
don't want to make any real syntax modifications, but just enable
quotations performing a simple string transformation on the body of
the quotation, e.g. turning
hello /\ world
into
default_parser hello /\\ world
About a
I've hit another problem with the simple string transformation
quotation parser (see my previous message). For the sake of this
example, here is a somewhat simplified variant, which I turn
into Quotexpander.cma:
open Camlp4.PreCast;;
module Caml =
Camlp4OCamlParser.Make