tc052.hs\should_compile\typecheck\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/typecheck/should_compile/tc052.hs

blob: 108ef12046ad6db96477e422bdbf91d694216032 (plain)

module ShouldSucceed where

type A a = B a

type B c = C

type C = Int