1 files changed, 13 insertions, 0 deletions
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