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

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