Compiling declared but not-yet-defined datatype silently generates no code

[jespercockx]

Minimal example:

data D : Set
{-# COMPILE AGDA2HS D #-}
data D where  C : D

This generates an empty Haskell file. It should either raise an error, or just compile the actual definition.