search

rupenp / grammatical-framework

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

Can't open 2 resources in the shell #79

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
What steps will reproduce the problem?
Tried the three following command:
Lang> i -retain alltenses/ParadigmsEng.gfo
Lang> i -retain alltenses/SyntaxEng.gfo
Lang> cc mkA "big"

Lang> i -retain alltenses/ParadigmsEng.gfo alltenses/SyntaxEng.gfo
Lang> cc mkA "big"

Lang> i -retain alltenses/SyntaxEng.gfo alltenses/ParadigmsEng.gfo
Lang> cc mkA "big"

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

In each case, I get:

constant not found: mkA
given CombinatorsEng, CommonX, CatEng, StructuralEng, CommonX,
      CatEng, ConstructorsEng, SyntaxEng
unknown variable mkA

expected: either that the two modules to be open or a warning saying that I'm 
not supposed to load more than one module with 'i -retain'

Please use labels and text to provide additional information.

Original issue reported on code.google.com by gregoire...@gmail.com on 29 Aug 2013 at 12:51