ghc-exactprint-0.5.0.0: tests/examples/ghc8/Test10268.hs
{-# LANGUAGE TemplateHaskell,TypeOperators,DataKinds #-}
module Test10268 where
th = $footemplate
give :: b -> Pattern '[b] a
give = undefined
pfail :: Pattern '[] a
pfail = undefined
{-# LANGUAGE TemplateHaskell,TypeOperators,DataKinds #-}
module Test10268 where
th = $footemplate
give :: b -> Pattern '[b] a
give = undefined
pfail :: Pattern '[] a
pfail = undefined