Commit c1935a44 authored by simonpj's avatar simonpj
Browse files

Accept output

parent 9d80a57b
......@@ -7,4 +7,4 @@ gadt7.hs:12:40:
Inferred type: T a
In the first argument of `(\ t1 y1 -> case t1 of K -> y1)', namely
In the call ((\ t1 y1 -> case t1 of K -> y1) t y)
In the expression: (\ t1 y1 -> case t1 of K -> y1) t y
Kind mis-match
Expected kind `* -> *',
but `forall a. (Eq a) => Set a' has kind `*'
Expected kind `* -> *', but `Set a' has kind `*'
In the instance declaration for `Monad (forall a. (Eq a) => Set a)'
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