rupesh4514 / grammatical-framework

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

Multiple inheritance including a functor intanciation is broken #69

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago
When inheriting from a functor instanciation, if you are also inheriting from 
an other module you get a syntax error.

I.e. this works:
    concrete Concrete2 of Abstract = Functor with (Interface = Instance) ** {...}
but not this
    concrete Concrete3 of Abstract = Concrete1, Functor with (Interface = Instance) ** {...}

What steps will reproduce the problem?
1. compile the attached Concrete3.gf

What is the expected output? What do you see instead?
I expect it to be parsed, I get a syntax error instead.

Note also the strange inconsistency between Concrete3 and Concrete4:
The "- compiling..." message disappear and the error messages are formatted 
differently (!) depending on the order of the inherited modules!

$ gf -make Concrete4.gf

/tmp/gregoire-20.1538-A0tcyb/Concrete4.gf:1:79: syntax error
$ gf -make Concrete3.gf
- compiling /tmp/gregoire-20.1538-A0tcyb/Concrete3.gf... 
/tmp/gregoire-20.1538-A0tcyb/Concrete3.gf:1:56:
   syntax error

Original issue reported on code.google.com by gregoire...@gmail.com on 20 May 2013 at 2:11

GoogleCodeExporter commented 9 years ago

Original comment by gregoire...@gmail.com on 20 May 2013 at 2:12

GoogleCodeExporter commented 9 years ago
All files on an archive

Original comment by gregoire...@gmail.com on 20 May 2013 at 2:22

Attachments: