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/Grammar/Grammar.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/GF/Grammar/Grammar.hs')

diff --git a/src/GF/Grammar/Grammar.hs b/src/GF/Grammar/Grammar.hs
index ee018791a..a2978d6b3 100644
--- a/src/GF/Grammar/Grammar.hs
+++ b/src/GF/Grammar/Grammar.hs
@@ -26,7 +26,7 @@ type SourceCnc = Module Ident Option Info
 data Info =                  
    AbsCat   (Perh Context) (Perh [Term])   -- constructors; must be Id or QId
  | AbsFun   (Perh Type) (Perh Term)        -- Yes f = canonical
- | AbsTrans Ident
+ | AbsTrans Term
 
 -- judgements in resource
  | ResParam (Perh [Param])
-- 
cgit v1.2.3