From e4442d13285fdedfb3c6e6e45fafd231678233e9 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Fri, 28 May 2010 12:19:04 +0000
Subject: [PATCH] composOp should iterate under ImplArg

---
 src/compiler/GF/Grammar/Macros.hs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/compiler/GF/Grammar/Macros.hs b/src/compiler/GF/Grammar/Macros.hs
index 5282b30b1..0653332d2 100644
--- a/src/compiler/GF/Grammar/Macros.hs
+++ b/src/compiler/GF/Grammar/Macros.hs
@@ -534,6 +534,10 @@ composOp co trm =
    ELin c ty -> 
      do ty' <- co ty
         return (ELin c ty')
+        
+   ImplArg t -> 
+     do t' <- co t
+        return (ImplArg t')
 
    _ -> return trm -- covers K, Vr, Cn, Sort, EPatt