... | ... | @@ -513,9 +513,6 @@ fun x ::(1) Int -> (fun _ -> () |> co) x ~~> fun x ::(1) Int -> (fun _ ::(ω) |
|
|
|
|
|
To prevent this, we guard this reduction with the condition that the multiplicity component of the coercion is a reflexivity coercion.
|
|
|
|
|
|
|
|
|
I (aspiwack) believe we are only checking whether the coercion is syntactically a reflexivity coercion. This is probably over conservative as coercions are not necessarily fully simplified. We probably need a finer grained test, otherwise this will cause performance regressions.
|
|
|
|
|
|
#### CPR worker/wrapper split
|
|
|
|
|
|
##### Case multiplicity
|
... | ... | |