src/HOLCF/Tools/Domain/domain_extender.ML
changeset 35525 fa231b86cb1e
parent 35521 47eec4da124a
child 35529 089e438b925b
--- a/src/HOLCF/Tools/Domain/domain_extender.ML	Tue Mar 02 17:20:03 2010 -0800
+++ b/src/HOLCF/Tools/Domain/domain_extender.ML	Tue Mar 02 17:21:10 2010 -0800
@@ -79,7 +79,9 @@
           | rm_sorts (Type(s,ts)) = Type(s,remove_sorts ts)
           | rm_sorts (TVar(s,_))  = TVar(s,[])
         and remove_sorts l = map rm_sorts l;
-        val indirect_ok = ["*","Cfun.->","Ssum.++","Sprod.**","Up.u"]
+        val indirect_ok =
+            [@{type_name "*"}, @{type_name cfun}, @{type_name ssum},
+             @{type_name sprod}, @{type_name u}];
         fun analyse indirect (TFree(v,s))  =
             (case AList.lookup (op =) tvars v of 
                NONE => error ("Free type variable " ^ quote v ^ " on rhs.")