From b2973b9c085a044a3da4574e2140afbd4c63ad8d Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Sun, 10 Jun 2012 14:11:47 +0000
Subject: [PATCH] one more instance of symb in Symbolic

---
 lib/src/api/Symbolic.gf | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/lib/src/api/Symbolic.gf b/lib/src/api/Symbolic.gf
index bcc85e12b..126c20f34 100644
--- a/lib/src/api/Symbolic.gf
+++ b/lib/src/api/Symbolic.gf
@@ -4,6 +4,7 @@ incomplete resource Symbolic = open Symbol, Grammar, PredefCnc in {
 
   oper
     symb : overload {
+      symb : Symb -> NP ;                      -- x
       symb : Str -> NP ;                       -- x
       symb : Int -> NP ;                       -- 23
       symb : Float -> NP ;                     -- 0.99
@@ -31,9 +32,13 @@ incomplete resource Symbolic = open Symbol, Grammar, PredefCnc in {
     mkInteger : Predef.Int -> Integer ;
     mkFloating : Predef.Float -> Floating ;
 
+    Symb : Type 
+      = Symbol.Symb ;
 --.
 
     symb = overload {
+      symb : Symb -> NP 
+                          = \s -> UsePN (SymbPN s) ;
       symb : Str -> NP 
                           = \s -> UsePN (SymbPN (mkSymb s)) ;
       symb : Int -> NP