ghc-exactprint-0.5.3.1: tests/examples/ghc80/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