wycc.lang.SyntaxError: assertion failed

GitHub | DavePearce | 11 months ago
tip
Click on the to mark the solution that helps you, Samebug will learn from it.
As a community member, you’ll be rewarded for you help.
  1. 0

    GitHub comment 627#212289648

    GitHub | 11 months ago | DavePearce
    wycc.lang.SyntaxError: assertion failed
  2. 0

    Bug with Requires False

    GitHub | 2 years ago | DavePearce
    wycc.lang.SyntaxError$InternalFailure: internal failure, unreachable code

    Root Cause Analysis

    1. wycs.transforms.VerificationCheck$AssertionFailure

      assertion failed

      at wycs.transforms.VerificationCheck.checkValid()
    2. wycs.transforms
      VerificationCheck.apply
      1. wycs.transforms.VerificationCheck.checkValid(VerificationCheck.java:220)
      2. wycs.transforms.VerificationCheck.apply(VerificationCheck.java:164)
      3. wycs.transforms.VerificationCheck.apply(VerificationCheck.java:43)
      3 frames
    3. wycs.builders
      Wyal2WycsBuilder.build
      1. wycs.builders.Wyal2WycsBuilder.process(Wyal2WycsBuilder.java:811)
      2. wycs.builders.Wyal2WycsBuilder.build(Wyal2WycsBuilder.java:208)
      2 frames
    4. wybs.util
      StdProject.build
      1. wybs.util.StdBuildRule.apply(StdBuildRule.java:109)
      2. wybs.util.StdProject.build(StdProject.java:256)
      2 frames
    5. wyc.util
      WycBuildTask.build
      1. wyc.util.WycBuildTask.buildEntries(WycBuildTask.java:518)
      2. wyc.util.WycBuildTask.build(WycBuildTask.java:486)
      2 frames
    6. wyc
      WycMain.run
      1. wyc.WycMain.run(WycMain.java:228)
      1 frame
    7. wyjc
      WyjcMain.main
      1. wyjc.WyjcMain.main(WyjcMain.java:83)
      1 frame