summaryrefslogtreecommitdiff
path: root/src/full/Agda/Syntax/Concrete/Generic.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/full/Agda/Syntax/Concrete/Generic.hs')
-rw-r--r--src/full/Agda/Syntax/Concrete/Generic.hs9
1 files changed, 4 insertions, 5 deletions
diff --git a/src/full/Agda/Syntax/Concrete/Generic.hs b/src/full/Agda/Syntax/Concrete/Generic.hs
index f499b2b..5e0fe80 100644
--- a/src/full/Agda/Syntax/Concrete/Generic.hs
+++ b/src/full/Agda/Syntax/Concrete/Generic.hs
@@ -1,9 +1,8 @@
-{-# LANGUAGE CPP #-}
-{-# LANGUAGE FlexibleInstances #-}
-{-# LANGUAGE TypeSynonymInstances #-}
+{-# LANGUAGE CPP #-}
+{-# LANGUAGE FlexibleInstances #-}
-- | Generic traversal and reduce for concrete syntax,
--- in the style of 'Agda.Syntax.Internal.Generic'.
+-- in the style of "Agda.Syntax.Internal.Generic".
--
-- However, here we use the terminology of 'Data.Traversable'.
@@ -100,7 +99,7 @@ instance ExprLike Expr where
Underscore{} -> f $ e0
RawApp r es -> f $ RawApp r $ mapE es
App r e es -> f $ App r (mapE e) $ mapE es
- OpApp r q es -> f $ OpApp r q $ mapE es
+ OpApp r q ns es -> f $ OpApp r q ns $ mapE es
WithApp r e es -> f $ WithApp r (mapE e) $ mapE es
HiddenArg r e -> f $ HiddenArg r $ mapE e
InstanceArg r e -> f $ InstanceArg r $ mapE e