Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
made SMLNJ happy
authorhaftmann
Fri, 19 Sep 2008 09:41:17 +0200
changeset 28296 9efd7d4fa2f2
parent 28295 3fb78d2068b0
child 28297 107ba67497a1
made SMLNJ happy
src/Tools/nbe.ML file | annotate | diff | comparison | revisions 
--- a/src/Tools/nbe.ML	Thu Sep 18 22:30:17 2008 +0200
+++ b/src/Tools/nbe.ML	Fri Sep 19 09:41:17 2008 +0200
@@ -291,7 +291,7 @@
 
 (* term evaluation *)
 
-fun eval_term ctxt gr deps ((vs, ty), t) =
+fun eval_term ctxt gr deps ((vs, ty) : typscheme, t) =
   let 
     val frees = Code_Thingol.fold_unbound_varnames (insert (op =)) t []
     val frees' = map (fn v => Free (v, [])) frees;
isabelle