aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/DataKinds/promoted-tuple-leading-char.hs

{- ORACLE_TEST pass -}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeFamilies #-}

module PromotedTupleLeadingChar where

import GHC.TypeLits (Symbol)

type family DropHash (value :: Maybe (Char, Symbol)) :: Symbol where
  DropHash ('Just '( '#', rest)) = rest
  DropHash 'Nothing = ""