testsuite/tests/printer/T18247a.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

{-# LANGUAGE PatternSynonyms #-}
module T18247a where

import Control.Monad ()
import qualified Data.Sequence as Seq ()
import T18247b
    ( T,
      Nat(Z, S),
      Showable(..),
      Type,
      pattern ExNumPat,
      pattern Head,
      pattern Single,
      pattern Pair,
      pattern One,
      pattern Succ,
      pattern (:>),
      pattern (:<),
      pattern Empty,
      pattern Int,
      pattern Arrow,
      pattern P )