search

rupesh4514 / grammatical-framework

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

Unexpected language... #65

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
What steps will reproduce the problem?
Given the following grammars:

    abstract Test = {}
    concrete TestA of Test = {}
    concrete TestB of Test = TestA ** {}

Importing TestB in the shell (`> i TestB.gf`)

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

    > i TestB.gf 
    - compiling /tmp/gregoire-29.1532-0jvTmo/Test.gf...   write file /tmp/gregoire-29.1532-0jvTmo/Test.gfo
    - compiling /tmp/gregoire-29.1532-0jvTmo/TestA.gf...   write file /tmp/gregoire-29.1532-0jvTmo/TestA.gfo
    - compiling /tmp/gregoire-29.1532-0jvTmo/TestB.gf...   write file /tmp/gregoire-29.1532-0jvTmo/TestB.gfo
    linking ... OK

    Languages: TestA TestB
    4 msec
    Test> 

but I didn't expect TestA to be imported as a seporote language

Original issue reported on code.google.com by gregoire...@gmail.com on 29 Apr 2013 at 1:57

GoogleCodeExporter commented 9 years ago

Original comment by gregoire...@gmail.com on 29 Apr 2013 at 1:57