[...] 2. Improve reporting of kind errors. [...]
I'm not sure if this counts as an improvement: :-]
[...] ../../ghc/compiler/ghc-inplace -H16m -O -package-name haskell-src -O -Rghc-timing -package base -split-objs -Onot -fno-warn-incomplete-patterns -c Language/Haskell/Parser.hs -o Language/Haskell/Parser.o -ohi Language/Haskell/Parser.hi
GenericTemplate.hs:98:
Kind error: Expecting a lifted type, but `Int#' is unlifted
In an expression type signature: Int#
In the type signature of the expression: 0# :: Int#
In the second argument of `(<#)', namely `(0# :: Int#)'GenericTemplate.hs:101:
Kind error: Expecting a lifted type, but `Int#' is unlifted
In an expression type signature: Int#
In the type signature of the expression: 1# :: Int#
In the second argument of `(+#)', namely `(1# :: Int#)'GenericTemplate.hs:109:
Kind error: Expecting a lifted type, but `Int#' is unlifted
In an expression type signature: Int#
In the type signature of the expression: 0# :: Int#
In the second argument of `(>=#)', namely `(0# :: Int#)'GenericTemplate.hs:219:
Kind error: Expecting a lifted type, but `Int#' is unlifted
In an expression type signature: Int#
In the type signature of the expression: 1# :: Int#
In the second argument of `(-#)', namely `(1# :: Int#)'GenericTemplate.hs:222:
Kind error: Expecting a lifted type, but `Int#' is unlifted
In an expression type signature: Int#
In the type signature of the expression: 1# :: Int#
In the second argument of `(-#)', namely `(1# :: Int#)'Language/Haskell/Parser.hs:3627:
Couldn't match `*' against `#'
When matching types `t' and `Int#'
Expected type: t
Inferred type: Int#
In the first argument of `happyParse', namely `0#'
<<ghc: 140990112 bytes, 21 GCs, 2849586/4954540 avg/max bytes residency (4 samples), 19M in
use, 0.00 INIT (0.00 elapsed), 0.54 MUT (0.57 elapsed), 0.21 GC (0.20 elapsed) :ghc>>
make: *** [Language/Haskell/Parser.o] Error 1
Cheers, S.
_______________________________________________ Cvs-ghc mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/cvs-ghc
