aihc-parser-1.0.0.2: test/Test/Fixtures/golden/module/warning-pragma.yaml
extensions: []
input: |
module Demo {-# WARNING "test warning" #-} where
x = 1
status: pass
ast: |-
Module {ModuleHead {"Demo", PragmaWarning "test warning"}, [DeclValue (PatternBind (PVar "x") (EInt 1 TInteger))]}