suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Allowed multiple empty dimensions in mobile types, not just one

Browse Source
This commit is contained in:
Neil Brown 2009-04-12 13:51:32 +00:00
parent 5534d1c3d6
commit da43dcb3f5
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
frontends/ParseOccam.hs
View File

@ -574,7 +574,7 @@ arrayType element
specArrayType :: OccParser A.Type -> OccParser A.Type
specArrayType element
= arrayType element
<|> do t <- tryXXV sLeft sRight element
<|> do t <- tryXXV sLeft sRight (specArrayType element <|> element)
return $ addDimensions [A.UnknownDimension] t
dataType :: OccParser A.Type