This repository was archived by the owner on Nov 3, 2020. It is now read-only.
This repository was archived by the owner on Nov 3, 2020. It is now read-only.
Accepts unit as a variable pattern #2
Description
id(x) -> x.
id().
will succeed, because x matches the unit value. For unit calls to work, only unit patterns should probably match unit.