Commit cec1859d authored by batterseapower's avatar batterseapower
Browse files

Update test output following change to associated type synonym default kind-checking time

parent 8051c691
SimpleFail1b.hs:4:1: SimpleFail1b.hs:4:1:
Family instance has too many parameters: `T1' Kind mis-match
Expected kind `* -> * -> k0 -> k1', but `T1' has kind `* -> * -> *'
In the data type instance declaration for `T1' In the data type instance declaration for `T1'
...@@ -2,5 +2,5 @@ ...@@ -2,5 +2,5 @@
SimpleFail4.hs:8:3: SimpleFail4.hs:8:3:
Type indexes must match class instance head Type indexes must match class instance head
Found `Int' but expected `a' Found `Int' but expected `a'
In the type synonym instance declaration for `S2' In the type synonym instance default declaration for `S2'
In the class declaration for `C2' In the class declaration for `C2'
...@@ -2,5 +2,5 @@ ...@@ -2,5 +2,5 @@
AssocTyDef02.hs:6:5: AssocTyDef02.hs:6:5:
Type indexes must match class instance head Type indexes must match class instance head
Found `b' but expected `a' Found `b' but expected `a'
In the type synonym instance declaration for `Typ' In the type synonym instance default declaration for `Typ'
In the class declaration for `Cls' In the class declaration for `Cls'
AssocTyDef03.hs:6:5: AssocTyDef03.hs:6:5:
Wrong category of family instance; declaration was for a data type Wrong category of family instance; declaration was for a data type
In the type synonym instance declaration for `Typ' In the type synonym instance default declaration for `Typ'
In the class declaration for `Cls' In the class declaration for `Cls'
...@@ -3,5 +3,5 @@ AssocTyDef04.hs:6:18: ...@@ -3,5 +3,5 @@ AssocTyDef04.hs:6:18:
`Maybe' is not applied to enough type arguments `Maybe' is not applied to enough type arguments
Expected kind `*', but `Maybe' has kind `* -> *' Expected kind `*', but `Maybe' has kind `* -> *'
In the type `Maybe' In the type `Maybe'
In the type synonym instance declaration for `Typ' In the type synonym instance default declaration for `Typ'
In the class declaration for `Cls' In the class declaration for `Cls'
AssocTyDef05.hs:6:5: AssocTyDef05.hs:6:5:
Number of parameters must match family declaration; expected 1 Number of parameters must match family declaration; expected 1
In the type synonym instance declaration for `Typ' In the type synonym instance default declaration for `Typ'
In the class declaration for `Cls' In the class declaration for `Cls'
AssocTyDef06.hs:6:5: AssocTyDef06.hs:6:5:
Family instance has too many parameters: `Typ' Kind mis-match
In the type synonym instance declaration for `Typ' Expected kind `k0 -> k1 -> k2', but `Typ' has kind `k0 -> *'
In the type synonym instance default declaration for `Typ'
In the class declaration for `Cls' In the class declaration for `Cls'
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