|
Core Lint bug: msg#00013lang.haskell.glasgow.bugs
The attached program, chr.hs, causes GHC to generate external Core that results in a type error when compiled with -dcore-lint, but compiles normally itself. That is: $ ghc -fext-core -fno-code -fglasgow-exts chr.hs $ ghc -dcore-lint chr.hcr *** Core Lint Errors: in result of Simplifier phase 0, iteration 1 out of 4 *** <No locn>: In the expression: GHC.Prim.leWord# (GHC.Prim.int2Word# i#) 1114111 Argument value doesn't match argument type: Fun type: GHC.Prim.Word# -> GHC.Base.Bool Arg type: GHC.Prim.Int# <error message trimmed> Compilation had errors $ ghc -fglasgow-exts chr.hs $ The code for "mychr" is just "chr", from the Prelude. The typechecker seems to think that 1114111 is an Int#, even though in the Core code, it's annotated as being a Word#. (I'm using GHC 5.04.1 under RedHat Linux 7.3.) -- Kirsten Chevalier * krc@xxxxxxxxxxxxxxxxxxx * Often in error, never in doubt
|
|
| <Prev in Thread] | Current Thread | [Next in Thread> |
|---|---|---|
| Previous by Date: | RE: Bug#171518: ghc --make does not play nice with FFI wrapper, Simon Marlow |
|---|---|
| Next by Date: | RE: Bug in last CVS, Simon Peyton-Jones |
| Previous by Thread: | Bug#171518: ghc --make does not play nice with FFI wrapper, Michael Weber |
| Next by Thread: | RE: Core Lint bug, Simon Peyton-Jones |
| Indexes: | [Date] [Thread] [Top] [All Lists] |
| News | FAQ | advertise |