Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T8449.hs
1 {-# LANGUAGE GADTs, PolyKinds, DataKinds, TypeFamilies #-}
2
3 module T8449 where
4
5 import T8449a
6
7 foo = SNil
8
9