#3409: type variable out of scope in worker/wrapper transformation
---------------------------------+------------------------------------------
Reporter: judahj | Owner: chak
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 6.10.3
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Testcase: | Os: Unknown/Multiple
Architecture: Unknown/Multiple |
---------------------------------+------------------------------------------
Comment (by judahj):
Just to clarify, you can reproduce a definite non-lint error as follows:
`cd` into `worker-issue-0.0.1`, and run:
{{{
$ ghc --make -O2 -fglasgow-exts Array.hs
[1 of 2] Compiling Size ( Size.hs, Size.o )
[2 of 2] Compiling Array ( Array.hs, Array.o )
$ ghc --make -O2 -fglasgow-exts Foo.hs
[3 of 3] Compiling Foo ( Foo.hs, Foo.o )
The interface for `main:Array'
Declaration for $wcopy:
Iface type variable out of scope: s
Cannot continue after interface file error
}}}
where `Foo.hs` is
{{{
module Foo where
import Array
import Foreign.Storable
mycopy :: Storable a => Array1 a -> Array1 a
mycopy = copy 0
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3409#comment:5>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
