From d22204745da632d41f87d6d7a89b15d07c64dccc Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Tue, 28 Mar 2017 07:09:26 +0000
Subject: [PATCH] a constant Prelude.notYet to mark not yet implemented
 functions, with the purpose of enabling the compilation of the RGL API

---
 src/prelude/Prelude.gf | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/prelude/Prelude.gf b/src/prelude/Prelude.gf
index ab1fccba..1c5b5035 100644
--- a/src/prelude/Prelude.gf
+++ b/src/prelude/Prelude.gf
@@ -153,5 +153,9 @@ oper
     _ => s
     } ;
 
+-- handling errors caused by temporarily missing definitions
+
+  notYet : Str -> Predef.Error = \s ->
+    Predef.error ("NOT YET IMPLEMENTED:" ++ s) ;
 
 }