Commits

camlspotter committed e80a6bb

first pa hack x54!

  • Participants
  • Parent commits 48f87cd
  • Branches p4hack

Comments (0)

Files changed (5)

     sexplib
     spotlib
 
-OCAMLDEPFLAGS= -syntax camlp4o -package sexplib.syntax
-OCAMLPPFLAGS= -syntax camlp4o -package sexplib.syntax
-# OCAMLDEPFLAGS= -syntax camlp4o -package sexplib.syntax -ppopt pa_bind_inline/pa_bind_inline.cmo
-# OCAMLPPFLAGS= -syntax camlp4o -package sexplib.syntax -ppopt pa_bind_inline/pa_bind_inline.cmo
+# OCAMLDEPFLAGS= -syntax camlp4o -package sexplib.syntax
+# OCAMLPPFLAGS= -syntax camlp4o -package sexplib.syntax
+OCAMLDEPFLAGS= -syntax camlp4o -package sexplib.syntax -ppopt pa_bind_inline/pa_bind_inline.cmo
+OCAMLPPFLAGS= -syntax camlp4o -package sexplib.syntax -ppopt pa_bind_inline/pa_bind_inline.cmo
 
 # OCamlGeneratedFiles(parser.ml lexer.ml)
 
    sbuffer
    planck_intf
    pbase
-   pbaseexn
-   pbaseref
+#   pbaseexn
+#   pbaseref
    pchar
    pbuffer
    pmemo
     sexplib
 
 # camlp4o ../pa_monad_custom/pa_monad.cmo ../pa_bind_inline/pa_bind_inline.cmo lex.ml
-%.out.ml: %.ml ../pa_monad_custom/pa_monad.cmo ../pa_bind_inline/pa_bind_inline.cmo
-	camlp4o -printer OCaml ../pa_monad_custom/pa_monad.cmo ../planck/pa_bind_inline/pa_bind_inline.cmo $< > $@
+%.out.ml: %.ml ../../pa_monad_custom/pa_monad.cmo ../pa_bind_inline/pa_bind_inline.cmo
+	camlp4o -printer OCaml ../../pa_monad_custom/pa_monad.cmo ../pa_bind_inline/pa_bind_inline.cmo $< > $@
 
-OCAMLDEPFLAGS= -syntax camlp4o -package sexplib.syntax,monad -I ..
-OCAMLPPFLAGS= -syntax camlp4o -package sexplib.syntax,monad
+# OCAMLDEPFLAGS= -syntax camlp4o -package sexplib.syntax,monad -I ..
+# OCAMLPPFLAGS= -syntax camlp4o -package sexplib.syntax,monad
+OCAMLDEPFLAGS= -syntax camlp4o -package sexplib.syntax,monad -ppopt ../pa_bind_inline/pa_bind_inline.cmo
+OCAMLPPFLAGS= -syntax camlp4o -package sexplib.syntax,monad -ppopt ../pa_bind_inline/pa_bind_inline.cmo
 
 FILES[] = 
    ../planck
   and  module Str.Pos = S.Pos
   and  type Str.attr = S.attr
   and  type param = S.t
-  and  type 'a result = ('a * S.t, S.Pos.t * string) Result.t
+
     val recover_all : unit -> unit (* format will print the over all result *)
   end
 
-  type param
-  type +'a result 
+  type param = Str.t
+  type +'a result = ('a * Str.t, error) Result.t 
 
   include Monad_intf.T with type 'a t = param -> 'a result
   (** Monadic interface. ['a t] is a function, so \eta expandable *)
    MyOCamlProgram($(name), $(name))
 
 Test(expr)
-Test(exprexn)
-Test(exprref)
+# Test(exprexn)
+# Test(exprref)
 
 .PHONY: test