Type error for (**) upon opening the REPL

amuletml / amulet

An ML-like functional programming language

https://amulet.works/

BSD 3-Clause "New" or "Revised" License

324 stars 14 forks source link

Type error for (**) upon opening the REPL #288

Closed davidgarland closed 3 years ago

davidgarland commented 3 years ago

Imgur

davidgarland commented 3 years ago

After taking a quick browse through, I think just changing this line should fix it: https://github.com/amuletml/amulet/blob/65d82e1a18fbce74c0257498ab7f12e3112aea13/src/Syntax/Builtin.hs#L375

EDIT: And this line. https://github.com/amuletml/amulet/blob/1c88193d23be25564c98d5ee772c3111fbbdb0ff/src/Core/Optimise/Reduce/Fold.hs#L48

SquidDev commented 3 years ago

Thanks for the report, fixed in e02783ff56e9c5a75808f8f2893a8c1aeb480c1c. This really should have been caught by CI, but the build machine isn't especially happy right now.