From d5f43d637c18eb800a080c8dfc68bd5d6182a152 Mon Sep 17 00:00:00 2001 From: aarne 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 --- lib/src/prelude/Prelude.gf | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/lib/src/prelude/Prelude.gf b/lib/src/prelude/Prelude.gf index ab1fccba8..1c5b50354 100644 --- a/lib/src/prelude/Prelude.gf +++ b/lib/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) ; }