Commits

camlspotter  committed 2a5ae4e Merge

merge

  • Participants
  • Parent commits ac6451d, dadee55
  • Branches ocamlspot

Comments (0)

Files changed (7)

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.