Allow spaces/comments before filewide annotations.

This commit is contained in:
Vidar Holen
2016-11-20 18:06:36 -08:00
parent 08f7ff37c5
commit f26038125d
2 changed files with 21 additions and 0 deletions

View File

@@ -2563,6 +2563,7 @@ readScriptFile = do
verifyShell pos (getShell sb)
if isValidShell (getShell sb) /= Just False
then do
allspacing
annotationId <- getNextId
annotations <- readAnnotations
commands <- withAnnotations annotations readCompoundListOrEmpty