Commit ec8f0c9e authored by John van Groningen's avatar John van Groningen
Browse files

export strictness of tuple of <:: and writeType

parent 0a85c455
...@@ -12,9 +12,9 @@ from unitype import Coercions, CoercionTree, AttributePartition, CT_Empty ...@@ -12,9 +12,9 @@ from unitype import Coercions, CoercionTree, AttributePartition, CT_Empty
errorHeading :: !String !*ErrorAdmin -> *ErrorAdmin errorHeading :: !String !*ErrorAdmin -> *ErrorAdmin
// MW4 was:class (<::) infixl a :: !*File (!Format, !a) -> *File // MW4 was:class (<::) infixl a :: !*File (!Format, !a) -> *File
(<::) infixl :: !*File (!Format, !a, !Optional TypeVarBeautifulizer) -> *File | writeType a (<::) infixl :: !*File !(!Format, !a, !Optional TypeVarBeautifulizer) -> *File | writeType a
class writeType a :: !*File !(Optional TypeVarBeautifulizer) (!Format, !a) -> (!*File, !Optional TypeVarBeautifulizer) class writeType a :: !*File !(Optional TypeVarBeautifulizer) !(!Format, !a) -> (!*File, !Optional TypeVarBeautifulizer)
:: Format = :: Format =
{ form_properties :: !BITVECT { form_properties :: !BITVECT
......
...@@ -138,7 +138,10 @@ where ...@@ -138,7 +138,10 @@ where
cleanUpTypeAttribute _ cui av=:(TA_Var _) cus cleanUpTypeAttribute _ cui av=:(TA_Var _) cus
= (av, cus) = (av, cus)
cleanUpTypeAttribute _ cui type_attribute cus
= abort ("cleanUpTypeAttribute "+++toString type_attribute)
instance clean_up Type instance clean_up Type
where where
clean_up cui (TempV tv_number) cus clean_up cui (TempV tv_number) cus
...@@ -1136,12 +1139,12 @@ checkProperty form property :== not (form.form_properties bitand property == 0) ...@@ -1136,12 +1139,12 @@ checkProperty form property :== not (form.form_properties bitand property == 0)
setProperty form property :== {form & form_properties = form.form_properties bitor property} setProperty form property :== {form & form_properties = form.form_properties bitor property}
clearProperty form property :== {form & form_properties = form.form_properties bitand (bitnot property)} clearProperty form property :== {form & form_properties = form.form_properties bitand (bitnot property)}
(<::) infixl :: !*File (!Format, !a, !Optional TypeVarBeautifulizer) -> *File | writeType a (<::) infixl :: !*File !(!Format, !a, !Optional TypeVarBeautifulizer) -> *File | writeType a
(<::) file (format, a, opt_beautifulizer) (<::) file (format, a, opt_beautifulizer)
# (file, _) = writeType file opt_beautifulizer (format, a) # (file, _) = writeType file opt_beautifulizer (format, a)
= file = file
class writeType a :: !*File !(Optional TypeVarBeautifulizer) (!Format, !a) -> (!*File, !Optional TypeVarBeautifulizer) class writeType a :: !*File !(Optional TypeVarBeautifulizer) !(!Format, !a) -> (!*File, !Optional TypeVarBeautifulizer)
instance writeType AttributeVar instance writeType AttributeVar
where where
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment