blob: 2f19b8ec0b37cee6ce46e6b5f1563404fb65d071 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE ViewPatterns #-}
module RepPolyPatSynRes where
import GHC.Exts
pattern Pat :: forall rep (a :: TYPE rep). ( () ~ () ) => a
pattern Pat <- ( undefined -> True )
|