From 3d1d2c4d9c526f712bb1b835ec16d494db0284a6 Mon Sep 17 00:00:00 2001
From: Adam Sampson <ats@offog.org>
Date: Sun, 6 Apr 2008 19:04:16 +0000
Subject: [PATCH] Fix type inference for BytesInExpr.

---
 frontends/OccamTypes.hs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/frontends/OccamTypes.hs b/frontends/OccamTypes.hs
index da163df..8460e7c 100644
--- a/frontends/OccamTypes.hs
+++ b/frontends/OccamTypes.hs
@@ -652,6 +652,9 @@ inferTypes = applyExplicitM9 doExpression doDimension doSubscript
                             Nothing -> return Nothing
                   e' <- inTypeContext ctx' $ inferTypes e
                   return $ A.SubscriptedExpr m s' e'
+            A.BytesInExpr _ _ -> noTypeContext $ descend outer
+            -- FIXME: ExprConstr
+            -- FIXME: AllocMobile
 
             -- Other expressions don't modify the type context.
             _ -> descend outer