ku-fpg / hermit

Haskell Equational Reasoning Model-to-Implementation Tunnel
http://www.ittc.ku.edu/csdl/fpg/Tools/HERMIT
BSD 2-Clause "Simplified" License
49 stars 8 forks source link

Wrong error message on ambiguous variable names #184

Open NightRa opened 7 years ago

NightRa commented 7 years ago

findInNameSpaces: findInNameSpaces

Reproduction: > hermit examples/Mean/mean.hs

set-pp-type Omit
rhs-of 'mean
lam-body
{ application-of 'sum ; let-intro 's }
{ application-of 'length; let-intro 'l }
innermost let-float
reorder-lets ['s, 'l]
let-tuple 'sl
case-expr ; abstract 'xs
app-fun ; let-intro 'sumlength
let-bind ; nonrec-to-rec
binding-of 'sumlength ; remember sumlen
def-rhs ; lam-body ; case-split-inline 'xs