search

rupesh4514 / grammatical-framework

Automatically exported from code.google.com/p/grammatical-framework
0 stars 0 forks source link

no warning when importing undeclared cat #43

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
What steps will reproduce the problem?
1. concrete XEng of X = GrammarEng [N] {}
2. abstract X = {}

What is the expected output? 
Warning: category YY is not in abstract

What do you see instead?
Nothing

What version of the product are you using? On what operating system?
3.2.1-darcs, linux

Original issue reported on code.google.com by adam.sla...@gmail.com on 22 Mar 2011 at 4:01