Allowed pragmas at the top-level of an occam file
This commit is contained in:
parent
b100b828e1
commit
030e06f173
|
@ -1812,6 +1812,7 @@ topLevelItem :: OccParser A.AST
|
|||
topLevelItem
|
||||
= handleSpecs (allocation <|> specification) topLevelItem
|
||||
(\m s inner -> A.Spec m s inner)
|
||||
<|> (pragma >> topLevelItem)
|
||||
<|> do m <- md
|
||||
eof
|
||||
-- Stash the current locals so that we can either restore them
|
||||
|
|
Loading…
Reference in New Issue
Block a user