search

lexi-lambda / higher-rank

A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
ISC License
101 stars 2 forks source link

Shadowing doesn't work as expected #3

Closed mrkgnao closed 7 years ago

mrkgnao commented 7 years ago

Here's a minimal example:

((\x -> (\x -> x)) ())
*** Exception: ctxSolution: internal error — multiple types for variable: [CtxAssump (MkEVar {unEVar = "x"}) (TEVar (MkTEVar {unTEVar = "a1"})),CtxAssump (MkEVar {unEVar = "x"}) (TEVar (MkTEVar {unTEVar = "a3"}))]
lexi-lambda commented 7 years ago

This is a duplicate of #2.