urk. careless. I'll fix it right away | -----Original Message----- | From: Sven Panne [mailto:[EMAIL PROTECTED] | Sent: 21 October 2003 17:10 | To: Simon Peyton Jones | Cc: [EMAIL PROTECTED] | Subject: Re: cvs commit: fptools/ghc/compiler/typecheckTcBinds.lhsTcClassDcl.lhs TcExpr.lhs | TcGenDeriv.lhs TcHsType.lhs TcInstDcls.lhs TcMType.lhs TcType.lhs TcUnify.lhs | fptools/ghc/compiler/hsSyn Convert.lhs HsDecls.lhs HsTypes.lhs fptools/ghc/compiler/parser Par | | Simon Peyton Jones wrote: | > [...] | > 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
