L and K should be available at the type (or above) level

google-code-export / omega

Automatically exported from code.google.com/p/omega

Other

2 stars 0 forks source link

L and K should be available at the type (or above) level #111

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago

The data decl: Shape has a constructor named 'L' or 'R'.
These names are reserved for the sum type. L:: a -> (a+b), R:: b -> (a+b)

But L, K are values!

So why not

kind Bar = L | K

???

Original issue reported on code.google.com by ggr...@gmail.com on 27 Aug 2013 at 10:52

GoogleCodeExporter commented 9 years ago

This issue was closed by revision r1773.

Original comment by ggr...@gmail.com on 28 Aug 2013 at 10:47

Changed state: Fixed

GoogleCodeExporter commented 9 years ago

r1775 adds another fix.

Original comment by ggr...@gmail.com on 28 Aug 2013 at 11:08