search

compiling-to-categories / concat

Compiling to Categories
http://conal.net/papers/compiling-to-categories
BSD 3-Clause "New" or "Revised" License
431 stars 49 forks source link

Prevent an infinite loop from cast (ex+ ...). #88

Closed mikesperber closed 2 years ago

mikesperber commented 2 years ago

This combination gets generated when composing toCcc RAD with another call to toCcc on the derivative.

(Gold tests still pass after this.)