|
@@ -70,7 +70,7 @@ let tpath t =
|
|
real_path i.mt_path i.mt_meta
|
|
real_path i.mt_path i.mt_meta
|
|
|
|
|
|
let rec follow_param t =
|
|
let rec follow_param t =
|
|
- match t with
|
|
|
|
|
|
+ match (follow_lazy t) with
|
|
| TMono r ->
|
|
| TMono r ->
|
|
(match r.tm_type with
|
|
(match r.tm_type with
|
|
| Some t -> follow_param t
|
|
| Some t -> follow_param t
|