Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Modified error output and new tests for PolyKinds commit
- Loading branch information
Simon Peyton Jones
committed
Mar 2, 2012
1 parent
79f2474
commit c91330d
Showing
75 changed files
with
791 additions
and
206 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,6 +1,6 @@ | ||
SimpleFail15.hs:5:1: | ||
Illegal polymorphic or qualified type: a ~ b => t | ||
Perhaps you intended to use -XRankNTypes or -XRank2Types | ||
In the type signature for `foo': | ||
foo :: (a, b) -> (a ~ b => t) -> (a, b) | ||
|
||
SimpleFail15.hs:5:8: | ||
Illegal polymorphic or qualified type: a ~ b => t | ||
Perhaps you intended to use -XRankNTypes or -XRank2Types | ||
In the type signature for `foo': | ||
foo :: (a, b) -> (a ~ b => t) -> (a, b) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,2 +1,5 @@ | ||
|
||
SimpleFail6.hs:7:11: Illegal repeated type variable `a' | ||
SimpleFail6.hs:7:11: | ||
Conflicting definitions for `a' | ||
Bound at: SimpleFail6.hs:7:11 | ||
SimpleFail6.hs:7:13 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,10 +1 @@ | ||
|
||
SkolemOccursLoop.hs:18:0: | ||
Couldn't match expected type `F a' | ||
against inferred type `[T (F (T (F a)))]' | ||
When generalising the type(s) for `test1' | ||
|
||
SkolemOccursLoop.hs:31:0: | ||
Couldn't match expected type `S (G (a, a))' | ||
against inferred type `G [S (G (a, a))]' | ||
When generalising the type(s) for `test2' | ||
Skolem occurs loop |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,22 +1,22 @@ | ||
T3330a.hs:19:34: | ||
Couldn't match type `s' with `(->) (s0 ix1 -> ix1)' | ||
`s' is a rigid type variable bound by | ||
the type signature for children :: s ix -> PF s r ix -> [AnyF s] | ||
at T3330a.hs:19:1 | ||
Expected type: (s0 ix0 -> ix1) -> r ix1 -> Writer [AnyF s] (r ix1) | ||
Actual type: s ix | ||
In the first argument of `hmapM', namely `p' | ||
In the first argument of `execWriter', namely `(hmapM p collect x)' | ||
In the expression: execWriter (hmapM p collect x) | ||
T3330a.hs:19:36: | ||
Couldn't match type `ix' with `r ix0 -> Writer [AnyF s0] (r ix0)' | ||
`ix' is a rigid type variable bound by | ||
the type signature for children :: s ix -> PF s r ix -> [AnyF s] | ||
at T3330a.hs:19:1 | ||
Expected type: s0 ix0 -> ix | ||
Actual type: s0 ix0 -> r ix0 -> Writer [AnyF s0] (r ix0) | ||
In the second argument of `hmapM', namely `collect' | ||
In the first argument of `execWriter', namely `(hmapM p collect x)' | ||
In the expression: execWriter (hmapM p collect x) | ||
|
||
T3330a.hs:19:34: | ||
Couldn't match type `s' with `(->) (s0 ix1 -> ix1)' | ||
`s' is a rigid type variable bound by | ||
the type signature for children :: s ix -> PF s r ix -> [AnyF s] | ||
at T3330a.hs:18:13 | ||
Expected type: (s0 ix0 -> ix1) -> r ix1 -> Writer [AnyF s] (r ix1) | ||
Actual type: s ix | ||
In the first argument of `hmapM', namely `p' | ||
In the first argument of `execWriter', namely `(hmapM p collect x)' | ||
In the expression: execWriter (hmapM p collect x) | ||
|
||
T3330a.hs:19:36: | ||
Couldn't match type `ix' with `r ix0 -> Writer [AnyF s0] (r ix0)' | ||
`ix' is a rigid type variable bound by | ||
the type signature for children :: s ix -> PF s r ix -> [AnyF s] | ||
at T3330a.hs:18:15 | ||
Expected type: s0 ix0 -> ix | ||
Actual type: s0 ix0 -> r ix0 -> Writer [AnyF s0] (r ix0) | ||
In the second argument of `hmapM', namely `collect' | ||
In the first argument of `execWriter', namely `(hmapM p collect x)' | ||
In the expression: execWriter (hmapM p collect x) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,6 +1,6 @@ | ||
mod45.hs:5:3: | ||
Illegal type signature in instance declaration: | ||
(==) :: T -> T -> Bool | ||
(Use -XInstanceSigs to allow this) | ||
In the instance declaration for `Eq T' | ||
|
||
mod45.hs:5:11: | ||
Illegal type signature in instance declaration: | ||
(==) :: T -> T -> Bool | ||
(Use -XInstanceSigs to allow this) | ||
In the instance declaration for `Eq T' |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,5 @@ | ||
|
||
readFail036.hs:4:1: | ||
Illegal kind signature for `a' | ||
readFail036.hs:4:16: | ||
Illegal kind signature: `*' | ||
Perhaps you intended to use -XKindSignatures | ||
In the data type declaration for `Foo' |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.