From 580f7d79952836068686d73bcc70fc9df5562e13 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Fri, 17 Nov 2006 13:40:55 +0000
Subject: oper overloading: first implemenatation using records

---
 src/GF/Source/GrammarToSource.hs | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/GF/Source/GrammarToSource.hs')

diff --git a/src/GF/Source/GrammarToSource.hs b/src/GF/Source/GrammarToSource.hs
index a20eb7830..055c79d15 100644
--- a/src/GF/Source/GrammarToSource.hs
+++ b/src/GF/Source/GrammarToSource.hs
@@ -94,6 +94,10 @@ trAnyDef (i,info) = let i' = tri i in case info of
     May b  -> P.ParDefIndir i' $ tri b
     _      -> P.ParDefAbs i']]
 
+  ResOverload tysts -> 
+    [P.DefOper [P.DDef [mkName i'] (
+      P.ERecord [P.LDFull [i'] (trt ty) (trt fu) | (ty,fu) <- tysts])]]
+
   CncCat (Yes ty) Nope _ -> 
     [P.DefLincat [P.PrintDef [mkName i'] (trt ty)]] 
   CncCat pty ptr ppr -> 
-- 
cgit v1.2.3