Commit 7380aa43 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-03-14 16:29:56 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-14 16:29:56+00:00
parent 4500a158
......@@ -896,7 +896,7 @@ and type_op loc op args =
Types.interval Intervals.any
| "string_of", [loc1,t1] ->
Sequence.string
| ("=" | "<=" | "<" | ">" | ">=" ), [loc1,t1; loc2,t2] ->
| "=", [loc1,t1; loc2,t2] ->
(* could prevent comparision of functional value here... *)
(* could also handle the case when t1 and t2 are the same
singleton type *)
......@@ -904,6 +904,9 @@ and type_op loc op args =
Builtin.false_type
else
Builtin.bool
| ("<=" | "<" | ">" | ">=" ), [loc1,t1; loc2,t2] ->
(* could prevent comparision of functional value here... *)
Builtin.bool
| _ -> assert false
and type_int_binop f loc1 t1 loc2 t2 =
......
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