T8917.stdout\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.stdout

blob: 8426b6ab1029fb1a015d53045f5f38fdd2d5b776 (plain)

Zero + Succ Zero :: Nat
= 'Succ 'Zero
Succ (Zero + Zero) :: Nat
= 'Succ 'Zero