\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
+module B = Brg
module E = BrgEnvironment
module R = BrgReduction
module T = BrgType
(* Interface functions ******************************************************)
let type_check f g = function
- | None -> f None
- | Some ((_, _, _, t) as obj) ->
+ | None -> f None
+ | Some ((_, _, B.Abst t) as obj)
+ | Some ((_, _, B.Abbr t) as obj) ->
let f tt obj = f (Some (tt, obj)) in
let f tt = E.set_obj (f tt) obj in
T.type_of f g R.empty_context t
+ | Some (_, _, B.Void) -> assert false