Fix newtype unfoldings (coercion direction) and prevent data unfoldings with strange tyvar kinds
Showing
- compiler/supercompile/Supercompile.hs 7 additions, 4 deletionscompiler/supercompile/Supercompile.hs
- compiler/supercompile/Supercompile/Core/Syntax.hs 20 additions, 0 deletionscompiler/supercompile/Supercompile/Core/Syntax.hs
- compiler/supercompile/Supercompile/Drive/MSG.hs 0 additions, 19 deletionscompiler/supercompile/Supercompile/Drive/MSG.hs
Loading
Please register or sign in to comment