search

tokiwa-software / fuzion

The Fuzion Language Implementation
https://fuzion-lang.dev
GNU General Public License v3.0
47 stars 11 forks source link

require-condition failure in SourceRange #4180

Closed michaellilltokiwa closed 2 days ago

michaellilltokiwa commented 2 days ago 
a is
  h x := x
  type.q(a universe.a.this) => a.h <= a.h
x : property.orderable is
p := a.type.q a

error 1: java.lang.Error: require-condition4 failed: SourceRange.java:66 "(sourceFile != null, 0 <= bytePos, bytePos <= byteEndPos, byteEndPos <= sourceFile._bytes.length);"
        at dev.flang.util.ANY.require(ANY.java:158)
        at dev.flang.util.SourceRange.<init>(SourceRange.java:66)
        at dev.flang.util.SourcePosition.rangeTo(SourcePosition.java:414)
        at dev.flang.util.SourcePosition.range(SourcePosition.java:430)
        at dev.flang.ast.QualThisType.<init>(QualThisType.java:58)
        at dev.flang.parser.Parser.typeTail(Parser.java:3707)
        at dev.flang.parser.Parser.simpletype(Parser.java:3664)
        at dev.flang.parser.Parser.typeTail(Parser.java:3712)
        at dev.flang.parser.Parser.simpletype(Parser.java:3664)
        at dev.flang.parser.Parser.onetype(Parser.java:3581)
        at dev.flang.parser.Parser.boundType(Parser.java:3456)
        at dev.flang.parser.Parser.type(Parser.java:3437)
        at dev.flang.parser.Parser.lambda$formArgs$1(Parser.java:964)
        at dev.flang.parser.Lexer.relaxLineAndSpaceLimit(Lexer.java:966)
        at dev.flang.parser.Lexer.bracketTermWithNLs(Lexer.java:1025)
        at dev.flang.parser.Parser.formArgs(Parser.java:941)
        at dev.flang.parser.Parser.formArgsOpt(Parser.java:896)
        at dev.flang.parser.Parser.routOrField(Parser.java:296)
        at dev.flang.parser.Parser.feature(Parser.java:265)
        at dev.flang.parser.Parser.expr(Parser.java:2708)
        at dev.flang.parser.Parser.exprs(Parser.java:2545)
        at dev.flang.parser.Parser.lambda$block$17(Parser.java:2487)
        at dev.flang.parser.Lexer.optionalBrackets(Lexer.java:983)
        at dev.flang.parser.Parser.block(Parser.java:2487)
        at dev.flang.parser.Parser.implRout(Parser.java:3342)
        at dev.flang.parser.Parser.implFldOrRout(Parser.java:3373)
        at dev.flang.parser.Parser.routOrField(Parser.java:305)
        at dev.flang.parser.Parser.feature(Parser.java:265)
        at dev.flang.parser.Parser.expr(Parser.java:2708)
        at dev.flang.parser.Parser.exprs(Parser.java:2545)
        at dev.flang.parser.Parser.lambda$block$17(Parser.java:2487)
        at dev.flang.parser.Lexer.optionalBrackets(Lexer.java:983)
        at dev.flang.parser.Parser.block(Parser.java:2487)
        at dev.flang.parser.Parser.unit(Parser.java:202)
        at dev.flang.fe.SourceModule.parseFile(SourceModule.java:213)
        at dev.flang.fe.SourceModule.parseMain(SourceModule.java:182)
        at dev.flang.fe.SourceModule.createASTandResolve(SourceModule.java:258)
        at dev.flang.fe.FrontEnd.<init>(FrontEnd.java:182)
        at dev.flang.tools.Fuzion.lambda$parseArgsForBackend$4(Fuzion.java:1042)
        at dev.flang.tools.Tool.lambda$run$0(Tool.java:142)
        at dev.flang.util.Errors.runAndExit(Errors.java:897)
        at dev.flang.tools.Tool.run(Tool.java:142)
        at dev.flang.tools.Fuzion.main(Fuzion.java:600)

*** fatal errors encountered, stopping.
one error.