diff options
Diffstat (limited to 'src/monomorphise.ml')
| -rw-r--r-- | src/monomorphise.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/monomorphise.ml b/src/monomorphise.ml index bc3624a7..ab6e10d5 100644 --- a/src/monomorphise.ml +++ b/src/monomorphise.ml @@ -392,6 +392,9 @@ let reduce_nexp subst ne = let typ_of_args args = match args with + | [E_aux (E_tuple args,(_,Some (_,Typ_aux (Typ_exist _,_),_)))] -> + let tys = List.map (fun (E_aux (_,(l,annot))) -> snd (env_typ_expected l annot)) args in + Typ_aux (Typ_tup tys,Unknown) | [E_aux (_,(l,annot))] -> snd (env_typ_expected l annot) | _ -> |