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

Rain: added type-checking for wait statements

Browse Source
This commit is contained in:
Neil Brown 2007-09-26 23:08:55 +00:00
parent 41ac788601
commit a65953ad89
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
frontends/RainTypes.hs
View File

@ -311,7 +311,7 @@ checkCommTypes p = (everywhereASTM checkInputOutput p) >>= (everywhereASTM check
= checkInput chanVar destVar m a
checkAltInput a = return a
-- | Checks the types in now statements:
-- | Checks the types in now and wait statements:
checkGetTimeTypes :: Data t => t -> PassM t
checkGetTimeTypes = everywhereASTM checkGetTime
where
@ -321,4 +321,9 @@ checkGetTimeTypes = everywhereASTM checkGetTime
case t of
A.Time -> return p
_ -> diePC m $ formatCode "Cannot store time in variable of type \"%\"" t
checkGetTime p@(A.Wait m _ e)
= do t <- typeOfExpression e
case t of
A.Time -> return p
_ -> diePC m $ formatCode "Cannot wait for an expression of non-time type: \"%\"" t
checkGetTime p = return p