[r2005-04-12 16:08:12 by afrisch] Empty log message

Original author: afrisch
Date: 2005-04-12 16:08:12+00:00

Makefile.distrib

@@ -15,7 +15,9 @@ ifeq ($(NATIVE),true)
 all: cduce_lib.cmxa
 endif
 
-PACKAGES = ulex camlp4 num cgi pcre netstring 
+PACKAGES = ulex camlp4 cgi pcre netstring 
+
+PACKAGE=+ num
 
 
 # Call make with VERBOSE=true to get a trace of commands

ocamliface/Makefile

@@ -15,7 +15,7 @@
 
 OCAML_OBJECTS=$(patsubst %,$(PREFIX)/%, $(UNITS))
 
-OBJECTS=asttypes.ml $(OCAML_OBJECTS)
+OBJECTS=$(OCAML_OBJECTS)
 XOBJECTS=$(OBJECTS:.cmo=.cmx)
 
 ifeq ($(MODEL),flat)
@@ -34,11 +34,11 @@ else
 endif
 endif
 
-caml_cduce.cmo: asttypes.ml
+caml_cduce.cmo:
 	@echo "Build $@"
 	$(HIDE)ocamlc -pack -o $@ $(INCLUDES) $(OBJECTS)
 
-caml_cduce.cmx: asttypes.ml
+caml_cduce.cmx:
 	@echo "Build $@"
 	$(HIDE)ocamlopt -pack -o $@ $(INCLUDES) $(XOBJECTS)
 
@@ -50,15 +50,18 @@ asttypes.ml: cmi2ml
 	@echo "Create $@"
 	$(HIDE)./cmi2ml Asttypes $(ASTTYPES) > asttypes.ml
 
+asttypes.mli: asttypes.ml
+	cp asttypes.ml asttypes.mli
+
 cmi2ml: cmi2ml.ml
 	@echo "Build $@"
 	$(HIDE)ocamlc -o $@ $(INCLUDES) $(OCAML_OBJECTS) $<
 
 
 UTILS=utils/misc.cmo utils/tbl.cmo utils/config.cmo \
-  utils/clflags.cmo utils/consistbl.cmo
+  utils/clflags.cmo utils/consistbl.cmo utils/warnings.cmo utils/terminfo.cmo
 
-PARSING=parsing/longident.cmo
+PARSING=parsing/linenum.cmo parsing/location.cmo parsing/longident.cmo parsing/asttypes.cmi
 
 TYPING=typing/ident.cmo typing/path.cmo \
   typing/primitive.cmo typing/types.cmo \
@@ -67,25 +70,3 @@ TYPING=typing/ident.cmo typing/path.cmo \
   typing/datarepr.cmo typing/env.cmo \
   typing/ctype.cmo typing/printtyp.cmo
 
-
-#UTILS=utils/misc.cmo utils/tbl.cmo utils/config.cmo \
-#  utils/clflags.cmo utils/terminfo.cmo utils/ccomp.cmo utils/warnings.cmo \
-#  utils/consistbl.cmo
-#
-#PARSING=parsing/linenum.cmo parsing/location.cmo parsing/longident.cmo \
-#  parsing/syntaxerr.cmo parsing/parser.cmo \
-#  parsing/lexer.cmo parsing/parse.cmo parsing/printast.cmo
-#
-#TYPING=typing/ident.cmo typing/path.cmo \
-#  typing/primitive.cmo typing/types.cmo \
-#  typing/btype.cmo typing/oprint.cmo \
-#  typing/subst.cmo typing/predef.cmo \
-#  typing/datarepr.cmo typing/env.cmo \
-#  typing/typedtree.cmo typing/ctype.cmo \
-#  typing/printtyp.cmo typing/includeclass.cmo \
-#  typing/mtype.cmo typing/includecore.cmo \
-#  typing/includemod.cmo typing/parmatch.cmo \
-#  typing/typetexp.cmo typing/stypes.cmo typing/typecore.cmo \
-#  typing/typedecl.cmo typing/typeclass.cmo \
-#  typing/typemod.cmo
-

ocamliface/mltypes.ml

 exception Error of string
 
+module Loc = Location
 open Caml_cduce
 open Asttypes
 open Types
@@ -222,7 +223,7 @@ let load_cmi name =
     let s = Format.flush_str_formatter () in
     let s = Printf.sprintf "Error while reading OCaml interface %s: %s"
 	      name s in
-    raise (Location.Generic s)
+    raise (Loc.Generic s)
 
 let read_cmi name =
   Config.load_path := Config.standard_library :: !Librarian.obj_path;
@@ -256,7 +257,7 @@ let read_cmi name =
     let s = Format.flush_str_formatter () in
     let s = Printf.sprintf "Error while reading OCaml interface %s: %s"
 	      name s in
-    raise (Location.Generic s)
+    raise (Loc.Generic s)
 
 
 let print_ocaml = Printtyp.type_expr

web/index.xml

@@ -20,6 +20,7 @@ demo" name="proto"/>-->
 <include file="demo.xml"/>
 <include file="download.xml"/>
 <include file="bench.xml"/>
+<include file="ocaml.xml"/>
 <include file="papers.xml"/>
 <include file="stages.xml"/>
 <include file="documentation.xml"/>
@@ -61,6 +62,15 @@ the content by <a href="examples.html#site">the following CDuce program</a>.
 
 <box title="Latest News" link="news">
 
+<section title="2005, April 12, Tuesday: GODI package for the
+OCaml+CDuce extension">
+<p>
+A preliminary release of an extension of OCaml with CDuce types
+has been announced a few days ago on the cduce users mailing list.
+More information on the page <local href="ocaml"/>.
+</p>
+</section>
+
 <section title="2005, March 27th, Easter: PDF user manual">
 <p>
 PDF versions of the User manual and of the Tutorial are now available. See the <local href="documentation"/>.