testsuite/tests/printer/Test10268.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE TemplateHaskell,TypeOperators,DataKinds #-}

module Test10268 where

th = $footemplate

give :: b -> Pattern '[b] a
give = undefined

pfail :: Pattern '[] a
pfail = undefined