|
@@ -104,6 +104,12 @@ type context = {
|
|
mutable for_call : bool;
|
|
mutable for_call : bool;
|
|
}
|
|
}
|
|
|
|
|
|
|
|
+let rec follow t = match Type.follow t with
|
|
|
|
+ | TAbstract(a,tl) when not (Meta.has Meta.CoreType a.a_meta) ->
|
|
|
|
+ follow (Codegen.Abstract.get_underlying_type a tl)
|
|
|
|
+ | t ->
|
|
|
|
+ t
|
|
|
|
+
|
|
let invalid_expr p = error "Invalid expression" p
|
|
let invalid_expr p = error "Invalid expression" p
|
|
let stack_error p = error "Stack error" p
|
|
let stack_error p = error "Stack error" p
|
|
|
|
|