Improve position and error recovery

effekt-lang · Aug 16, 2023 · 1aae2e9 · 1aae2e9
1 parent 5b8aad9
commit 1aae2e9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/effekt/shared/src/main/scala/effekt/Parser.scala b/effekt/shared/src/main/scala/effekt/Parser.scala
@@ -476,8 +476,8 @@ class EffektParsers(positions: Positions) extends EffektLexers(positions) {
 
   lazy val int    = integerLiteral.flatMap { n =>
     try { val number = n.toInt;
-      success(IntLit(number))
-    } catch { case e => error("Not a 32bit integer literal.") }
+      success(IntLit(number).withPositionOf(n))
+    } catch { case e => failure("Not a 32bit integer literal.") }
   }
   lazy val bool   = `true` ^^^ BooleanLit(true) | `false` ^^^ BooleanLit(false)
   lazy val unit   = literal("()") ^^^ UnitLit()