From bfd7b079a7e8d5e0d85218bac61a119960b6a807 Mon Sep 17 00:00:00 2001 From: Adam Sampson Date: Sun, 6 Apr 2008 18:42:40 +0000 Subject: [PATCH] Make unsubscriptType handle Infer. --- common/Types.hs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/common/Types.hs b/common/Types.hs index d0036d4..58ff692 100644 --- a/common/Types.hs +++ b/common/Types.hs @@ -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 -- a subscript, return what the type being subscripted is. unsubscriptType :: (CSMR m, Die m) => A.Subscript -> A.Type -> m A.Type +unsubscriptType _ A.Infer + = return $ A.Infer unsubscriptType (A.SubscriptFromFor _ _ _) t = return $ removeFixedDimension t unsubscriptType (A.SubscriptFrom _ _) t