Various fixes for coercions

compiling-to-categories / concat

Compiling to Categories

http://conal.net/papers/compiling-to-categories

BSD 3-Clause "New" or "Revised" License

436 stars 50 forks source link

Various fixes for coercions #118

Closed mikesperber closed 7 months ago

mikesperber commented 7 months ago

In FunCo co1 co2, co1 is oriented the other way around from co2.
Various places confused the arrow of the coercion with the arrow of the function value being coerced.

nomeata commented 7 months ago

Uff, that’s been paged out for quite a while. The changes look at least plausible, and if they make the linter more happy, they are probably reasonable.

mikesperber commented 7 months ago

@nomeata Thanks for looking at this!