id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc
11,monomorphism and generalization,ross,nobody,"Hugs gets this wrong, leading to trouble later:
{{{
Hugs> :t let f = const 1 in let g = f in g
let {...} in (let {...} in g) :: Num a => b -> c
}}}
This is related to an erroneous comment on `markAssumList` in `type.c` that there is no need to mark generic variables, but the naive fix breaks `typecheck/should_compile/tc097`.",defect,new,major,,type system,,,,