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

Stopped constants being assigned to in the type-checker for Rain

Browse Source
This commit is contained in:
Neil Brown 2008-03-23 12:15:00 +00:00
parent b316a7d3f4
commit 74a5cf52a7
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
frontends/RainTypes.hs
View File

@ -307,6 +307,9 @@ checkAssignmentTypes = applyDepthM checkAssignment
checkAssignment ass@(A.Assign m [v] (A.ExpressionList m' [e])) checkAssignment ass@(A.Assign m [v] (A.ExpressionList m' [e]))
= do trhs <- typeOfExpression e = do trhs <- typeOfExpression e
tlhs <- typeOfVariable v tlhs <- typeOfVariable v
am <- abbrevModeOfVariable v
when (am == A.ValAbbrev) $
diePC m $ formatCode "Cannot assign to a constant variable: %" v
if (tlhs == trhs) if (tlhs == trhs)
then return ass then return ass
else do rhs' <- coerceType " in assignment" tlhs trhs e else do rhs' <- coerceType " in assignment" tlhs trhs e