testsuite/tests/th/T15572.hs


1
2
3
4
5
6
7
8

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TemplateHaskell #-}
module T15572 where

import Language.Haskell.TH

$([d| type AbsoluteUnit1 = '() |])
$(pure [TySynD (mkName "AbsoluteUnit2") [] (ConT '())])