CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-19 16:28:12 +03:00
Code Issues Projects Releases Wiki Activity

Dropping verif conditions raising only informative errors

Browse Source
This commit is contained in:
Denis Merigoux 2019-08-15 22:16:02 -07:00
parent b585e34388
commit f4ce991d68
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
ir/interpreter.ml
View File

@ -65,7 +65,7 @@ let interpret_logical_expression (e: logical_expression Pos.marked) (ctx: ctx) :
let interpret_arithmetic_expression (e: arithmetic_expression Pos.marked) (ctx: ctx) : Int64.t =
match Pos.unmark e with
| ArithmeticBinop (op, v1, (v2 as v2orig)) ->
| ArithmeticBinop (op, v1, v2) ->
let v1 = interpret_int_literal v1 ctx in
let v2 = interpret_int_literal v2 ctx in
begin match Pos.unmark op with
@ -75,7 +75,7 @@ let interpret_arithmetic_expression (e: arithmetic_expression Pos.marked) (ctx:
| Ast.Div ->
if v2 = Int64.zero then
raise (Errors.VerifiscRuntimeError (
Printf.sprintf "division by zero %s" (Pos.format_position (Pos.get_position v2orig))
Printf.sprintf "division by zero %s" (Pos.format_position (Pos.get_position e))
));
Int64.div v1 v2
end