Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Open sidebar
Shayne Fletcher
Glasgow Haskell Compiler
Commits
4c09546c
Commit
4c09546c
authored
Feb 08, 2008
by
Simon Peyton Jones
Browse files
Follow change in error message wording
parent
6170ff6d
Changes
4
Hide whitespace changes
Inline
Side-by-side
Showing
4 changed files
with
20 additions
and
15 deletions
+20
-15
testsuite/tests/ghc-regress/module/mod41.stderr
testsuite/tests/ghc-regress/module/mod41.stderr
+4
-3
testsuite/tests/ghc-regress/module/mod42.stderr
testsuite/tests/ghc-regress/module/mod42.stderr
+4
-3
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail044.stderr
.../tests/ghc-regress/typecheck/should_fail/tcfail044.stderr
+8
-6
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail047.stderr
.../tests/ghc-regress/typecheck/should_fail/tcfail047.stderr
+4
-3
No files found.
testsuite/tests/ghc-regress/module/mod41.stderr
View file @
4c09546c
mod41.hs:3:0:
Illegal instance declaration for `Eq (Either a a)'
(All instance types must be of the form (T a1 ... an)
where a1 ... an are distinct type *variables*
Use -XFlexibleInstances if you want to disable this.)
(All instance types must be of the form (T a1 ... an)
where a1 ... an are type *variables*,
and each type variable appears at most once in the instance head.
Use -XFlexibleInstances if you want to disable this.)
In the instance declaration for `Eq (Either a a)'
testsuite/tests/ghc-regress/module/mod42.stderr
View file @
4c09546c
mod42.hs:3:0:
Illegal instance declaration for `Eq a'
(All instance types must be of the form (T a1 ... an)
where a1 ... an are distinct type *variables*
Use -XFlexibleInstances if you want to disable this.)
(All instance types must be of the form (T a1 ... an)
where a1 ... an are type *variables*,
and each type variable appears at most once in the instance head.
Use -XFlexibleInstances if you want to disable this.)
In the instance declaration for `Eq a'
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail044.stderr
View file @
4c09546c
tcfail044.hs:5:0:
Illegal instance declaration for `Eq (a -> a)'
(All instance types must be of the form (T a1 ... an)
where a1 ... an are distinct type *variables*
Use -XFlexibleInstances if you want to disable this.)
(All instance types must be of the form (T a1 ... an)
where a1 ... an are type *variables*,
and each type variable appears at most once in the instance head.
Use -XFlexibleInstances if you want to disable this.)
In the instance declaration for `Eq (a -> a)'
tcfail044.hs:8:0:
Illegal instance declaration for `Num (a -> a)'
(All instance types must be of the form (T a1 ... an)
where a1 ... an are distinct type *variables*
Use -XFlexibleInstances if you want to disable this.)
(All instance types must be of the form (T a1 ... an)
where a1 ... an are type *variables*,
and each type variable appears at most once in the instance head.
Use -XFlexibleInstances if you want to disable this.)
In the instance declaration for `Num (a -> a)'
testsuite/tests/ghc-regress/typecheck/should_fail/tcfail047.stderr
View file @
4c09546c
tcfail047.hs:6:0:
Illegal instance declaration for `A (a, (b, c))'
(All instance types must be of the form (T a1 ... an)
where a1 ... an are distinct type *variables*
Use -XFlexibleInstances if you want to disable this.)
(All instance types must be of the form (T a1 ... an)
where a1 ... an are type *variables*,
and each type variable appears at most once in the instance head.
Use -XFlexibleInstances if you want to disable this.)
In the instance declaration for `A (a, (b, c))'
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment