Mysaa/mpri-2.4-project-2023-2024
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Infer: explicitly restrict tuples to pairs

Browse Source
This commit is contained in:
Gabriel Scherer 2023-12-23 01:22:47 +01:00
parent 1852d50231
commit 1b02ba850c
1 changed files with 12 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
src/Infer.ml
View File

@ -30,6 +30,14 @@ module Make(T : Utils.Functor) = struct
let eq v1 v2 = Eq(v1, v2)
let decode v = MapErr(Decode v, fun e -> Cycle e)
let assume_pair = function
| [v1; v2] -> (v1, v2)
| other ->
Printf.ksprintf failwith
"Error: this implementation currently only supports pairs,
not tuples of size %d."
(List.length other)
(** This is a helper function to implement constraint generation for
the [Annot] construct.
@ -72,9 +80,11 @@ module Make(T : Utils.Functor) = struct
| Untyped.Annot (t, ty) ->
Utils.not_yet "Infer.has_type: Let case" (env, t, ty, bind, fun () -> has_type)
| Untyped.Tuple ts ->
Utils.not_yet "Infer.has_type: Let case" (env, ts, fun () -> has_type)
let (t1, t2) = assume_pair ts in
Utils.not_yet "Infer.has_type: Let case" (env, t1, t2, fun () -> has_type)
| Untyped.LetTuple (xs, t, u) ->
Utils.not_yet "Infer.has_type: Let case" (env, xs, t, u, fun () -> has_type)
let (x1, x2) = assume_pair xs in
Utils.not_yet "Infer.has_type: Let case" (env, x1, x2, t, u, fun () -> has_type)
| Do p ->
(* Feel free to postone this until you start looking
at random generation. Getting type inference to