Iavor
Are these four failures the result of your changes?
Should we fix the tests?
Should the error message say "The instance decl is inconsistent with the fundeps"? And maybe be more precise about which fundep.
I'm a bit confused.
Simon
=====> Gentle(normal) 1182 of 3527 [0, 3, 0]
cd ./indexed-types/should_compile && 'C:/code/HEAD/bindisttest/install dir/bin/ghc.exe' -fforce-recomp -dcore-lint -dcmm-lint -dno-debug-output -no-user-package-db -rtsopts -fno-ghci-history -c Gentle.hs >Gentle.comp.stderr 2>&1
Compile failed (status 256) errors were:
Gentle.hs:13:10:
Illegal instance declaration for `Concrete a b'
Multiple uses of this instance may be inconsistent
with the functional dependencies of the class.
In the instance declaration for `Concrete a b'
*** unexpected failure for Gentle(normal)
=====> T6068(ghci) 1852 of 3527 [0, 14, 0]
cd ./polykinds && HC='C:/code/HEAD/bindisttest/install dir/bin/ghc.exe' HC_OPTS='-dcore-lint -dcmm-lint -dno-debug-output -no-user-package-db -rtsopts -fno-ghci-history ' 'C:/code/HEAD/bindisttest/install dir/bin/ghc.exe' --interactive -v0 -ignore-dot-ghci -dcore-lint -dcmm-lint -dno-debug-output -no-user-package-db -rtsopts -fno-ghci-history T6068.run.stdout 2>T6068.run.stderr
Actual stderr output differs from expected:
--- /dev/null 2013-01-14 17:04:32 +0000
+++ ./polykinds/T6068.run.stderr 2013-01-14 17:04:32 +0000
@@ -0,0 +1,9 @@
+
+T6068.hs:23:10:
+ Illegal instance declaration for `HasSingleton
+ (Maybe ak) (Maybe a) mp'
+ Multiple uses of this instance may be inconsistent
+ with the functional dependencies of the class.
+ In the instance declaration for `HasSingleton (Maybe a) mp'
+
=====> tc235(normal) 2812 of 3527 [0, 16, 0]
cd ./typecheck/should_compile && 'C:/code/HEAD/bindisttest/install dir/bin/ghc.exe' -fforce-recomp -dcore-lint -dcmm-lint -dno-debug-output -no-user-package-db -rtsopts -fno-ghci-history -c tc235.hs -fno-warn-incomplete-patterns >tc235.comp.stderr 2>&1
Compile failed (status 256) errors were:
tc235.hs:24:10:
Illegal instance declaration for `Gr g ep m'
Multiple uses of this instance may be inconsistent
with the functional dependencies of the class.
In the instance declaration for `Gr g ep m'
=====> T5684(normal) 3185 of 3527 [0, 17, 0]
cd ./typecheck/should_fail && 'C:/code/HEAD/bindisttest/install dir/bin/ghc.exe' -fforce-recomp -dcore-lint -dcmm-lint -dno-debug-output -no-user-package-db -rtsopts -fno-ghci-history -c T5684.hs >T5684.comp.stderr 2>&1
Actual stderr output differs from expected:
--- ./typecheck/should_fail/T5684.stderr 2013-01-14 13:42:13 +0000
+++ ./typecheck/should_fail/T5684.comp.stderr 2013-01-14 17:27:00 +0000
@@ -1,64 +1,6 @@
-T5684.hs:25:12:
- No instance for (A b6) arising from a use of `op'
- In the expression: op True undefined
- In the expression:
- [op False False, op 'c' undefined, op True undefined]
- In an equation for `flop1':
- flop1 = [op False False, op 'c' undefined, op True undefined]
-
-T5684.hs:30:12:
- No instance for (A b5) arising from a use of `op'
- In the expression: op True undefined
- In the expression:
- [op False False, op True undefined, op 'c' undefined]
- In an equation for `flop2':
- flop2 = [op False False, op True undefined, op 'c' undefined]
-
-T5684.hs:36:12:
- No instance for (A b4) arising from a use of `op'
- In the expression: op True undefined
- In the expression:
- [op 'c' undefined, op True undefined, op False False]
- In an equation for `flop3':
- flop3 = [op 'c' undefined, op True undefined, op False False]
-
-T5684.hs:42:12:
- No instance for (A b3) arising from a use of `op'
- In the expression: op True undefined
- In the expression:
- [op 'c' undefined, op False False, op True undefined]
- In an equation for `flop4':
- flop4 = [op 'c' undefined, op False False, op True undefined]
-
-T5684.hs:46:12:
- No instance for (A b2) arising from a use of `op'
- In the expression: op True undefined
- In the expression:
- [op True undefined, op 'c' undefined, op False False]
- In an equation for `flop5':
- flop5 = [op True undefined, op 'c' undefined, op False False]
-
-T5684.hs:52:12:
- No instance for (A b0) arising from a use of `op'
- In the expression: op True undefined
- In the expression:
- [op True undefined, op False False, op 'c' undefined]
- In an equation for `flop6':
- flop6 = [op True undefined, op False False, op 'c' undefined]
-
-T5684.hs:53:12:
- No instance for (A Bool) arising from a use of `op'
- In the expression: op False False
- In the expression:
- [op True undefined, op False False, op 'c' undefined]
- In an equation for `flop6':
- flop6 = [op True undefined, op False False, op 'c' undefined]
-
-T5684.hs:54:12:
- No instance for (B Char b1) arising from a use of `op'
- In the expression: op 'c' undefined
- In the expression:
- [op True undefined, op False False, op 'c' undefined]
- In an equation for `flop6':
- flop6 = [op True undefined, op False False, op 'c' undefined]
+T5684.hs:10:10:
+ Illegal instance declaration for `B Bool b'
+ Multiple uses of this instance may be inconsistent
+ with the functional dependencies of the class.
+ In the instance declaration for `B Bool b'
*** unexpected failure for T5684(normal)
