From 6b8c9dd4c9a1e28ef22a1c1797143ffd8febef5d Mon Sep 17 00:00:00 2001
From: bjorn <bjorn@bringert.net>
Date: Mon, 20 Oct 2008 14:51:42 +0000
Subject: Added PGF.Macros.mapConcretes

---
 src/PGF/Macros.hs | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/PGF')

diff --git a/src/PGF/Macros.hs b/src/PGF/Macros.hs
index d8e203727..22b96df92 100644
--- a/src/PGF/Macros.hs
+++ b/src/PGF/Macros.hs
@@ -10,6 +10,9 @@ import Data.List
 
 -- operations for manipulating PGF grammars and objects
 
+mapConcretes :: (Concr -> Concr) -> PGF -> PGF
+mapConcretes f pgf = pgf { concretes = Map.map f (concretes pgf) }
+
 lookLin :: PGF -> CId -> CId -> Term
 lookLin pgf lang fun = 
   lookMap tm0 fun $ lins $ lookMap (error "no lang") lang $ concretes pgf
-- 
cgit v1.2.3