Paris7/unification-pfa
Archived
1
0
Fork 0
Code Issues Activity

ahah

Browse source
This commit is contained in:
Mylloon 2024-04-27 12:36:48 +02:00
parent 9edc76b628
commit 040ff8570f
Signed by: Anri
GPG key ID: A82D63DFF8D1317F
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
lib/typeSubstitution.ml
View file

@ -29,9 +29,9 @@ let compose s2 s1 =
(* ID type_s1 type_s2 *) (* ID type_s1 type_s2 *)
(fun _ ty1 ty2 -> (fun _ ty1 ty2 ->
match ty1, ty2 with match ty1, ty2 with
(* Dans ce cas, on donne la priorité à s1 *) (* Give priority to s1 *)
| Some ty1', Some _ -> Some ty1' | Some ty1', Some _ -> Some ty1'
(* Utilisation de la substitution que l'on a déjà *) (* Use of the substitution we already have *)
| Some ty1', None -> Some ty1' | Some ty1', None -> Some ty1'
| None, Some ty2' -> Some ty2' | None, Some ty2' -> Some ty2'
(* Variable untyped *) (* Variable untyped *)