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

Make unsubscriptType handle Infer.

Browse Source
This commit is contained in:
Adam Sampson 2008-04-06 18:42:40 +00:00
parent 39f78e56ee
commit bfd7b079a7
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
common/Types.hs
View File

@ -141,6 +141,8 @@ subscriptType sub t = diePC (findMeta sub) $ formatCode "Unsubscriptable type: %
-- | The inverse of 'subscriptType': given a type that we know is the result of -- | The inverse of 'subscriptType': given a type that we know is the result of
-- a subscript, return what the type being subscripted is. -- a subscript, return what the type being subscripted is.
unsubscriptType :: (CSMR m, Die m) => A.Subscript -> A.Type -> m A.Type unsubscriptType :: (CSMR m, Die m) => A.Subscript -> A.Type -> m A.Type
unsubscriptType _ A.Infer
= return $ A.Infer
unsubscriptType (A.SubscriptFromFor _ _ _) t unsubscriptType (A.SubscriptFromFor _ _ _) t
= return $ removeFixedDimension t = return $ removeFixedDimension t
unsubscriptType (A.SubscriptFrom _ _) t unsubscriptType (A.SubscriptFrom _ _) t