Skip to content
Blame Permalink
  • Oleg Grenrus's avatar
    fd074a43
    Change RnfArgs to be data family · fd074a43
    Oleg Grenrus authored 
    Then we don't rely that heavily on simplifier to remove the GADT
overhead. Even when unoptimized, there isn't additional
box over RnfArgs1.

I did similar change to hashable in 2019.
    fd074a43
    Change RnfArgs to be data family
    Oleg Grenrus authored 
    Then we don't rely that heavily on simplifier to remove the GADT
overhead. Even when unoptimized, there isn't additional
box over RnfArgs1.

I did similar change to hashable in 2019.