T8917.script\scripts\ghci\tests\testsuite - delta/haskell.git - gitlab.haskell.org: ghc/ghc.git

index : delta/haskell.git

gitlab.haskell.org: ghc/ghc.git

summary refs log tree commit diff

path: root/testsuite/tests/ghci/scripts/T8917.script

blob: e79ac311e9144e4f9dd1b8fbb37bb679b112c547 (plain)

:load T8917
:seti -XDataKinds -XTypeOperators
:kind! Zero + Succ Zero
:kind! Succ (Zero + Zero)