blob: 282378b2de78768b906e21786b9756ad21ea237a (
plain)
1
2
3
4
5
6
7
8
9
10
|
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE NoImplicitPrelude #-}
{-# OPTIONS_GHC -Wall #-}
module Empty where
pattern Foo :: ()
pattern Foo = ()
a :: () -> ()
a Foo = ()
|