Skip to content

Quoted type data declarations are not supported

Summary

Write a brief description of the issue.

Steps to reproduce

The following:

{-# LANGUAGE TemplateHaskell, TypeData #-}

module Main where

import Language.Haskell.TH
import Language.Haskell.TH.Ppr

main = putStrLn . pprint =<< runQ [d| type data Nat = Zero | Succ Nat |]

prints a data declaration.

Expected behavior

It should print a type data declaration.

Environment

  • GHC version used: pre-9.6
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information