id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,os,architecture,failure,difficulty,testcase,blockedby,blocking,related
4918,Rule matcher failing to look through an imported inlining,simonpj,,"Pedro reported
{{{
module M1 where
  class MyEnum a where myEnum :: [a]
  instance MyEnum () where myEnum = [()]
 
module M2 where
  import M1

  f1 = map (\() -> 'p') [()]
  f2 = map (\() -> 'q') myEnum
}}}
The code for `f1` was optimised (by rewrite rules) to 
{{{
  f1 = ['p']
}}}
but the code for `f2` wasn't.",bug,closed,normal,,Compiler,7.0.1,fixed,,,Unknown/Multiple,Unknown/Multiple,None/Unknown,,simplCore/should_compile/T4918,,,