From 6ec3a53d3cd1666696430d25e1d0c746f3c7dde8 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Fri, 17 Sep 2004 22:02:35 +0000
Subject: C compiler

---
 examples/gfcc/ResImper.gf | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 examples/gfcc/ResImper.gf

(limited to 'examples/gfcc/ResImper.gf')

diff --git a/examples/gfcc/ResImper.gf b/examples/gfcc/ResImper.gf
new file mode 100644
index 000000000..d77322d75
--- /dev/null
+++ b/examples/gfcc/ResImper.gf
@@ -0,0 +1,13 @@
+resource ResImper = open Prelude, Precedence in {
+
+  oper
+    continue  : Str -> SS -> SS = \s -> infixSS ";" (ss s); 
+    statement : Str -> SS       = \s -> postfixSS ";" (ss s); 
+    ex       : {s : PrecTerm} -> Str = \exp -> exp.s ! p0 ;
+    infixL   : 
+      Prec -> Str -> {s : PrecTerm} -> {s : PrecTerm} -> {s : PrecTerm} =
+        \p,h,x,y -> {s = mkInfixL h p x.s y.s} ;
+
+    constant : Str -> {s : PrecTerm} = \c -> {s = mkConst c} ;
+
+}
\ No newline at end of file
-- 
cgit v1.2.3