search

diprism / perpl

The PERPL Compiler
MIT License
10 stars 5 forks source link

Built-in Zero type, unify unsolved type vars with Zero #117

Closed davidweichiang closed 1 year ago

davidweichiang commented 1 year ago

This checks off one box in #47.

I think it's inconsequential except that an unannotated fail has no values at all, which I guess makes sense.

davidweichiang commented 1 year ago

I think this one's pretty innocuous so I hope it's okay to merge it.