path: root/testsuite/tests/patsyn/should_compile/T10997.hs

{-# OPTIONS_GHC -Wno-gadt-mono-local-binds #-}
module T10997 where

import T10997a

foo :: Exp a -> String
foo Tru = "True"