search

ggreif / omega

Automatically exported from code.google.com/p/omega
Other
7 stars 0 forks source link

level confusion when using data constructors in the type declaration #45

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
What steps will reproduce the problem?
1. load <http://svn.berlios.de/svnroot/repos/al4nin/trunk/found-bugs/issue45-
SetEmulation.omg>
2. Observe error message:
While parsing a type constructor, unknown type: More

What is the expected output? What do you see instead?

This is pretty confusing. The custom syntax seems to expand at the type level, 
but that syntax 
should only be defined at the value level.

This should be diagnosed.

Original issue reported on code.google.com by ggr...@gmail.com on 12 Dec 2007 at 1:16