search

ggreif / omega

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

level variable confusion #37

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/issue37.omg>
2. observerve error message
line: 33 column: 1
Unknown level: sv

3. adding the sv level variable into the line 33 too allows type
checking to proceed. (The resultant error is not part of this
issue.)

maybe the inference engine reuses the level variables of the data decl in
the constructor decl?

I have tested with the Nov 8 snapshot.

Original issue reported on code.google.com by ggr...@gmail.com on 14 Nov 2007 at 2:10

GoogleCodeExporter commented 9 years ago 
Additionally this also means that the level variables specified in the 
constructor
are ignored.

Original comment by ggr...@gmail.com on 15 Nov 2007 at 10:44

GoogleCodeExporter commented 9 years ago 
The culprit is here:
<http://code.google.com/p/omega/source/browse/trunk/src/ParserDef.hs?r=430#738>
the levels that got parsed are ignored.

Original comment by ggr...@gmail.com on 22 Dec 2010 at 11:42