allow long_id for reference to type in primrec.
authornipkow
Tue, 16 Aug 1994 09:57:51 +0200
changeset 104 a0e6613dfbee
parent 103 c57ab3ce997e
child 105 4cc9149dc675
allow long_id for reference to type in primrec. Doesn't work yet, though, because of problems with the autoloader.
Datatype.ML
--- a/Datatype.ML	Mon Aug 15 15:20:34 1994 +0200
+++ b/Datatype.ML	Tue Aug 16 09:57:51 1994 +0200
@@ -94,7 +94,7 @@
         in ("|> " ^ tname^"_add_primrec " ^ mk_list (map snd axms),
             cat_lines(map prove axms))
         end
-  in ident -- ident -- repeat1 (ident -- string)  >> mkstrings end
+  in ident -- long_id -- repeat1 (ident -- string)  >> mkstrings end
 
 end;