Giters

effekt-lang / effekt

A research language with effect handlers and lightweight effect polymorphism

Home Page:https://effekt-lang.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Don't treat the unit value as a literal

phischu opened this issue · comments

commented

While we do have literal syntax for the unit value (), we should not treat it as a literal in later stages of the compiler. Pattern matching should not generate and equality check. We should delete the infixEq function on Unit. We should not box and unbox Unit.