aihc-parser-1.0.0.2: test/Test/Fixtures/golden/module/export-spec-bundled-data-members.yaml

extensions:
  - PatternSynonyms
  - ExplicitNamespaces
input: |
  module Demo (Nat (data Zero, data Succ)) where
  x = 1
status: pass
ast: |-
  Module {ModuleHead {"Demo", [ExportWith{"Nat", [IEBundledMember{IEBundledNamespaceData, "Zero"}, IEBundledMember{IEBundledNamespaceData, "Succ"}]}]}, [DeclValue (PatternBind (PVar "x") (EInt 1 TInteger))]}