aihc-parser-1.0.0.2: test/Test/Fixtures/golden/module/import-spec-bundled-data-members.yaml
extensions:
- PatternSynonyms
- ExplicitNamespaces
input: |
module Demo where
import PatternSynonymsSource (Nat (data Zero, data Succ))
x = 1
status: pass
ast: |-
Module {ModuleHead {"Demo"}, [ImportDecl {"PatternSynonymsSource", ImportSpec {[ImportItemWith{UnqualifiedName {"Nat"}, [IEBundledMember{IEBundledNamespaceData, "Zero"}, IEBundledMember{IEBundledNamespaceData, "Succ"}]}]}}], [DeclValue (PatternBind (PVar "x") (EInt 1 TInteger))]}