th-decl-quote-multi-decl.yaml

extensions: [TemplateHaskell, QuasiQuotes]
input: |
  {-# LANGUAGE TemplateHaskell, QuasiQuotes #-}
  module TH_Decl_Quote_MultiDecl where

  $(undefined [d|
    data Nat = Z | S Nat
    f x = x
    |])
ast: |-
  Module {ModuleHead {"TH_Decl_Quote_MultiDecl"}, [TemplateHaskell, QuasiQuotes], [DeclSplice (ETHSplice (EParen (EApp (EVar "undefined") (ETHDeclQuote [DeclData (DataDecl {Prefix "Nat", [PrefixCon {UnqualifiedName {"Z"}}, PrefixCon {UnqualifiedName {"S"}, [BangType {TCon "Nat"}]}]}), DeclValue (FunctionBind "f" [Match {MatchHeadPrefix, [PVar "x"], EVar "x"}])]))))]}
status: pass