From 2ee936c7e23bd690b05b8362179911a2d176f150 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Thu, 9 Oct 2003 15:23:32 +0000
Subject: Added treatment of transfer modules. Aggregation is an example.

---
 src/GF/UseGrammar/Transfer.hs | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)
 create mode 100644 src/GF/UseGrammar/Transfer.hs

(limited to 'src/GF/UseGrammar')

diff --git a/src/GF/UseGrammar/Transfer.hs b/src/GF/UseGrammar/Transfer.hs
new file mode 100644
index 000000000..2551a039d
--- /dev/null
+++ b/src/GF/UseGrammar/Transfer.hs
@@ -0,0 +1,29 @@
+module Transfer where
+
+import Grammar
+import Values
+import AbsCompute
+import qualified GFC
+import LookAbs
+import MMacros
+import TypeCheck
+
+import Ident
+import Operations
+
+import Monad
+
+-- linearize, parse, etc, by transfer. AR 9/10/2003
+
+doTransfer :: GFC.CanonGrammar -> Ident -> Tree -> Err Tree
+doTransfer gr tra t = do
+  cat <- liftM snd $ val2cat $ valTree t
+  f   <- lookupTransfer gr tra cat
+  e   <- compute gr $ App f $ tree2exp t
+  annotate gr e
+
+useByTransfer :: (Tree -> Err a) -> GFC.CanonGrammar -> Ident -> (Tree -> Err a)
+useByTransfer lin gr tra t = doTransfer gr tra t >>= lin
+
+mkByTransfer :: (a -> Err [Tree]) -> GFC.CanonGrammar -> Ident -> (a -> Err [Tree])
+mkByTransfer parse gr tra s = parse s >>= mapM (doTransfer gr tra)
-- 
cgit v1.2.3