-
Notifications
You must be signed in to change notification settings - Fork 5
Description
If a function does not have a linearization, a ton of "Function _V does not have a linearization !" messages are printed out, and an (uncatchable) error is thrown:
Exception in thread "main" java.lang.StackOverflowError
at sun.nio.cs.UTF_8$Encoder.encodeLoop(UTF_8.java:446)
at java.nio.charset.CharsetEncoder.encode(CharsetEncoder.java:544)
at sun.nio.cs.StreamEncoder.implWrite(StreamEncoder.java:252)
at sun.nio.cs.StreamEncoder.write(StreamEncoder.java:106)
at java.io.OutputStreamWriter.write(OutputStreamWriter.java:190)
at java.io.BufferedWriter.flushBuffer(BufferedWriter.java:111)
at java.io.PrintStream.write(PrintStream.java:476)
at java.io.PrintStream.print(PrintStream.java:619)
at java.io.PrintStream.println(PrintStream.java:756)
at org.grammaticalframework.Linearizer.apply(Linearizer.java:413)
at org.grammaticalframework.Linearizer.apply(Linearizer.java:414)
at org.grammaticalframework.Linearizer.apply(Linearizer.java:414)
at org.grammaticalframework.Linearizer.apply(Linearizer.java:414)
...