Commit 517bca0d authored by John van Groningen's avatar John van Groningen
Browse files

fix bug when using type definition:

::	* I *a = {	f	:: !a }
and:
I *{String}
in function type
parent 4a1404f8
......@@ -520,7 +520,7 @@ new_demanded_attribute DAK_Ignore _
new_demanded_attribute _ TA_Unique
= DAK_Unique
new_demanded_attribute dem_attr_kind _
= dem_attr_kind
= DAK_None /* dem_attr_kind */
checkOpenAType :: !Index !Int !DemandedAttributeKind !AType !(!u:OpenTypeSymbols, !*OpenTypeInfo, !*CheckState)
-> (!AType, !(!u:OpenTypeSymbols, !*OpenTypeInfo, !*CheckState))
......
Markdown is supported
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