search

replimoc / compiler

8 stars 0 forks source link

Investigate tests failing semantic check #177

Closed andreas-eberle closed 9 years ago

andreas-eberle commented 9 years ago

invalid tests that need to be fixed in the tests repository

real errors and fixed:

vzickner commented 9 years ago

Please also this files (fail in parser):

Have fun, both files are crazy!

norman465 commented 9 years ago
norman465 commented 9 years ago

In addition to that: If we don't want to rewrite the whole parser because of the stack size issue. When we implement #43 we can start the parser on a thread thread and specify the stack size for the new thread there to, hopefully, avoid such environment dependent limitations.

See: http://docs.oracle.com/javase/7/docs/api/java/lang/Thread.html#Thread%28java.lang.ThreadGroup,%20java.lang.Runnable,%20java.lang.String,%20long%29

vzickner commented 9 years ago

@norman465 Thank you for your work. Keep in mind, that big.mj fail for the fixpoint test. But I think this bugs not as critical as the semantic bugs.

andreas-eberle commented 9 years ago

I created a ticket for testdata/mj-test/pos-parser/nesting-is-fun.mj. See #179

andreas-eberle commented 9 years ago

The testfile testdata/mj-test/pos/replimoc3.mj is incorrect. In line 32 read(int) is called, which does not exist in the code. How should we proceed with this file?

vzickner commented 9 years ago

I created a pull request with a fix in the mj-test repository.

andreas-eberle commented 9 years ago

For testfile testdata/mj-test/pos-parser/big.mj see ticket #180

andreas-eberle commented 9 years ago

@valentinz: See #181 for a list of test files that need to be fixed in the central tests repository.

andreas-eberle commented 9 years ago

All remaining required fixes are handled in #181. => Closing this ticket.