src/HOLCF/Tools/domain/domain_extender.ML
changeset 31228 bcacfd816d28
parent 31163 19c2f68ae23d
child 31229 8a890890d143
--- a/src/HOLCF/Tools/domain/domain_extender.ML	Wed May 20 13:18:14 2009 -0700
+++ b/src/HOLCF/Tools/domain/domain_extender.ML	Thu May 21 18:23:19 2009 -0700
@@ -122,7 +122,7 @@
       | typid (TVar ((id,_),_)) = hd (tl (Symbol.explode id));
     fun one_con (con,args,mx) =
 	((Syntax.const_name mx (Binding.name_of con)),
-	 ListPair.map (fn ((lazy,sel,tp),vn) => ((lazy,
+	 ListPair.map (fn ((lazy,sel,tp),vn) => mk_arg ((lazy,
 					find_index_eq tp dts,
 					DatatypeAux.dtyp_of_typ new_dts tp),
 					Option.map Binding.name_of sel,vn))