feat(constant): Show an error on integer overflow in compile-time

Closes #189

src/types/resolveConstantValue.ts

@@ -5,7 +5,7 @@ import { ASTExpression, throwError } from "../grammar/ast";
 import { printTypeRef, TypeRef } from "./types";
 import { sha256_sync } from "@ton/crypto";
 
-function reduceInt(ast: ASTExpression): bigint {
+function reduceIntImpl(ast: ASTExpression): bigint {
     if (ast.kind === 'number') {
         return ast.value;
     } else if (ast.kind === 'op_binary') {
@@ -59,6 +59,18 @@ function reduceInt(ast: ASTExpression): bigint {
     throwError('Cannot reduce expression to a constant integer', ast.ref);
 }
 
+function reduceInt(ast: ASTExpression): bigint {
+  try {
+    return reduceIntImpl(ast)
+  } catch (error) {
+    if (error instanceof RangeError) {
+      throwError('Cannot evaluate expression due to integer overflow', ast.ref);
+    } else {
+      throw error;
+    }
+  }
+}
+
 function reduceBool(ast: ASTExpression): boolean {
     if (ast.kind === 'boolean') {
         return ast.value;