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

typo

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

2
lib/typeSubstitution.ml
View file

@ -31,7 +31,7 @@ let compose s2 s1 =
match ty1, ty2 with match ty1, ty2 with
(* Dans ce cas, on donne la priorité à s1 *) (* Dans ce cas, on donne la priorité à s1 *)
| Some ty1', Some _ -> Some ty1' | Some ty1', Some _ -> Some ty1'
(* Utilisation de la substitution que l'on à déjà *) (* Utilisation de la substitution que l'on a déjà *)
| Some ty1', None -> Some ty1' | Some ty1', None -> Some ty1'
| None, Some ty2' -> Some ty2' | None, Some ty2' -> Some ty2'
(* Variable untyped *) (* Variable untyped *)