diff options
| author | Son Ho | 2024-06-05 11:17:37 +0200 |
|---|---|---|
| committer | Son Ho | 2024-06-05 11:17:37 +0200 |
| commit | 967c1aa8bd47e76905baeda5b9d41167af664942 (patch) | |
| tree | 2f8b8bd9d6ddef3e56d3c840690e94d9322a963a /compiler/Cps.ml | |
| parent | 7e50cacd736fc85930bd22689fb7e2b61ddda794 (diff) | |
| parent | c708fc2556806abc95cd2ca173a94a5fb49d034d (diff) | |
Merge branch 'main' into son/clean-synthesis
Diffstat (limited to '')
| -rw-r--r-- | compiler/Cps.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/compiler/Cps.ml b/compiler/Cps.ml index 7138477b..917989ff 100644 --- a/compiler/Cps.ml +++ b/compiler/Cps.ml @@ -94,6 +94,9 @@ let map_apply_continuation (f : 'a -> 'c -> 'b * 'c * ('e -> 'e)) let cc_singleton file line span cf el = match el with [ e ] -> cf e | _ -> internal_error file line span +let cf_singleton file line span el = + match el with [ e ] -> e | _ -> internal_error file line span + (** It happens that we need to concatenate lists of results, for instance when evaluating the branches of a match. When applying the continuations to build the symbolic expressions, we need |