Commits

camlspotter  committed dadee55 Merge

merge

  • Participants
  • Parent commits d288fa5, 6271544
  • Branches ocamlspot

Comments (0)

Files changed (8)

File .hgtags

-75d314eca09dcf400b527337e124ca4eec067930 v3.12.1-ocamlspot-1.4.0
-1904069ca1dc5a79c0b22066963c6c124b237841 v3.12.1-ocamlspot-1.4.0

File 0scripts/0BUILD.sh

 #
 # Parameter : PREFIX
 
+if [ "x$PREFIX" = "x" ]; then 
+  echo "Set PREFIX environment variable"
+  exit 1
+fi
+
 set -e
 ./configure --prefix $PREFIX
 make clean core coreboot

File INSTALL-ocamlspot.txt

 2. Relax
 
 3. For non Unix users: this instruction is for Unix users. For non unices,
-   the build is in the same way but may require some additional preparations.
+   the build should be in the same way but may require some additional preparations.
    First of all, learn how to build the vanilla OCaml in your environment.
    Read INSTALL and README.win32
 
 
 10. How to use
 
-  Compile your ML project by this patched compiler with -annot option to create .spot files. Open one of the source files in Emacs and place the cursor at the name whose definition is in question. Type C-c; will show you the defintion.
+  Compile your ML project by this patched compiler with -annot option to create .spot files. 
+  Open one of the source files in Emacs and place the cursor at the name whose definition 
+  is in question. Type C-c; will show you the defintion.
 
-11. bug report
+11. Bug report
 
   Please report bugs to jun.furuse at gmail.

File README-ocamlspot.txt

File contents unchanged.

File ocamlspot/Changes

 1.4.0
 --------------
 
+For OCaml 3.12.1.
+
+ocamlspot:
 - -i and --info options are now obsolete. Use ``ocamlspot info <filename>'' instead.
+- --type-expand option is added for type-directed expansion of expressions and patterns. 
+  Experimental.
 
 ocamlspot.el:
 - ocamlspot-path is removed. Use ocamlspot-command custom variable.
-- ocamlspot-pop-jump-stack for going back to the latest query position. Experimental.
-- ocamlspot-expand for type-directed expanding expressions and patterns. Experimental.
+- ocamlspot-expand for type-directed expansion of expressions and patterns. Experimental.
+
+Compiler modifications:
+- If OCAML_ANNOT environment variable exists, ocamlc/ocamlopt create .annot, .spot 
+  and .spit files even without -annot option.
+- Lazy thunks in Env.t are replaced by non-functional values.
 
 1.3.1
 --------------
 
-- (ocamlspot-pop-jump-stack) is added to recover query points.
+ocamlspot.el:
+- ocamlspot-pop-jump-stack for going back to the latest query position. Experimental.
 
 1.3.0
 --------------

File ocamlspot/ocamlspot.el

File contents unchanged.

File ocamlspot/ocamlspot.ml

 	  match 
 	    (* only the first Use *)
 	    List.find_map_opt (function
-	      | Annot.Use ( _, path) -> 
+	      | Annot.Use (_, path) -> 
 		  (* Find subpath *)
 		  begin match Pathreparse.get file.File.path r pos path with    
 		  | None -> None

File ocamlspot/spotconfig.ml

File contents unchanged.