wycc.lang.SyntaxError

There are no available Samebug tips for this exception. Do you have an idea how to solve this issue? A short tip would help users who saw this issue last week.

  • GitHub comment 627#212289648
    via GitHub by DavePearce
    ,
    • wycc.lang.SyntaxError: assertion failed at wycc.lang.SyntaxError.syntaxError(SyntaxError.java:341) at wycs.builders.Wyal2WycsBuilder.build(Wyal2WycsBuilder.java:220) at wybs.util.StdBuildRule.apply(StdBuildRule.java:109) at wybs.util.StdProject.build(StdProject.java:256) at wyc.util.WycBuildTask.buildEntries(WycBuildTask.java:518) at wyc.util.WycBuildTask.build(WycBuildTask.java:486) at wyc.WycMain.run(WycMain.java:228) at wyjc.WyjcMain.main(WyjcMain.java:83) Caused by: wycs.transforms.VerificationCheck$AssertionFailure: assertion failed at wycs.transforms.VerificationCheck.checkValid(VerificationCheck.java:220) at wycs.transforms.VerificationCheck.apply(VerificationCheck.java:164) at wycs.transforms.VerificationCheck.apply(VerificationCheck.java:43) at wycs.builders.Wyal2WycsBuilder.process(Wyal2WycsBuilder.java:811) at wycs.builders.Wyal2WycsBuilder.build(Wyal2WycsBuilder.java:208) ... 6 more
    No Bugmate found.