search

Mizero / grammatical-framework

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

PGF/TypeCheck.hs: Non-exhaustive patterns in case #39

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
What steps will reproduce the problem?
1. Load SUMO in the GF editor
2. write the following axiom:

       for every animal _A
       there exists an animal _B
       such that _A is smaller than _B

3. Click on the button for abstract syntax tree visualization

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

The window shows the error:

500 Internal Server Error
src/runtime/haskell/PGF/TypeCheck.hs:(116,39)-(117,54): Non-exhaustive patterns 
in case

while it should show an abstract syntax tree.

Original issue reported on code.google.com by kr.ange...@gmail.com on 31 Aug 2010 at 1:29

GoogleCodeExporter commented 8 years ago

Original comment by kr.ange...@gmail.com on 20 Oct 2010 at 1:49