id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,os,architecture,failure,difficulty,testcase,blockedby,blocking,related
3409,type variable out of scope in worker/wrapper transformation,judahj,chak,"I ran into a bug while using type families in an array library that I'm writing.  The original error looked something like:
{{{
Declaration for $wslice:
  Iface type variable out of scope:  s
}}}

I've tried to strip down the code as much as possible into the attached cabal package with two modules.  The package  builds itself with -dcore-lint and -O2; so just running `cabal install` inside of the package should cause a Core Lint error.

Let me know if there's any more information I can provide to help diagnose this issue.",bug,closed,normal,,Compiler,6.10.3,fixed,,,Unknown/Multiple,Unknown/Multiple,,Unknown,typecheck/should_compile/T3409,,,