Commit 204100c1 authored by MARCHE Claude's avatar MARCHE Claude

fix typo

parent 5ef356c3
......@@ -872,7 +872,7 @@ let check_literal c ty =
| Tyapp (ts,[]), _ -> ts
| _, ConstInt _ -> raise (InvalidIntegerLiteralType ty)
| _, ConstReal _ -> raise (InvalidRealLiteralType ty)
| _, ConstStr _ -> raise (InvalidRealLiteralType ty) in
| _, ConstStr _ -> raise (InvalidStringLiteralType ty) in
match c, ts.ts_def with
| ConstInt _, _ when ts_equal ts ts_int -> ()
| ConstInt n, Range ir -> Number.check_range n ir
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment