Commit f0b3a7b5 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 82d98774
...@@ -896,7 +896,7 @@ and type_op loc op args = ...@@ -896,7 +896,7 @@ and type_op loc op args =
Types.interval Intervals.any Types.interval Intervals.any
| "string_of", [loc1,t1] -> | "string_of", [loc1,t1] ->
Sequence.string Sequence.string
| ("=" | "<=" | "<" | ">" | ">=" ), [loc1,t1; loc2,t2] -> | "=", [loc1,t1; loc2,t2] ->
(* could prevent comparision of functional value here... *) (* could prevent comparision of functional value here... *)
(* could also handle the case when t1 and t2 are the same (* could also handle the case when t1 and t2 are the same
singleton type *) singleton type *)
...@@ -904,6 +904,9 @@ and type_op loc op args = ...@@ -904,6 +904,9 @@ and type_op loc op args =
Builtin.false_type Builtin.false_type
else else
Builtin.bool Builtin.bool
| ("<=" | "<" | ">" | ">=" ), [loc1,t1; loc2,t2] ->
(* could prevent comparision of functional value here... *)
Builtin.bool
| _ -> assert false | _ -> assert false
and type_int_binop f loc1 t1 loc2 t2 = 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