• Robbert Krebbers's avatar
    Improve `iSpecialize ("H" $! x1 .. xn)`. · 9ea6fa45
    Robbert Krebbers authored
    Instead of doing all the instantiations by invoking a single type
    class search, it now performs the instantiations by invoking
    individual type class searches. This a.) gives better error messages
    and b.) works when `xj` depends on `xi`.
    9ea6fa45
class_instances.v 28.6 KB