Add a SAFE setting

This is automatically generated using a fudger-like script which replaces the
bodies of I/O operations with die statements.  No, really, I couldn't think
of anything better.

.gitignore

@@ -2,6 +2,11 @@ MAIN.cs
 MAIN.exe
 Kernel.dll
 Kernel.dll.so
+SAFE.dll
+SAFE.dll.so
+SAFE.cs
+SAFE_ast.store
+SAFE.setting
 CORE.dll
 CORE.dll.so
 CORE.cs

CORE.setting

@@ -677,4 +677,13 @@ PRE-INIT { Q:CgOp { (prog
 sub caller { Q:CgOp { (ns (getfield caller (getfield caller (callframe)))) } }
 sub callframe { Q:CgOp { (ns (getfield caller (callframe))) } }
 
+sub die($msg) { Q:CgOp { (prog (die (@ (l $msg))) (null Variable)) } }
+
+sub slurp($path) { #OK
+    #?unsafe slurp
+    Q:CgOp { (box Str (rawscall System.IO.File.ReadAllText
+        (unbox System.String (@ (l $path))))) }
+    #?end unsafe
+}
+
 {YOU_ARE_HERE}

CodeGen.pm

@@ -64,6 +64,8 @@ use 5.010;
         'Niecza.LexoticControlException' =>
             { SearchForHandler => [c => 'Void'] },
 
+        'System.IO.File.ReadAllText' => [m => 'System.String'],
+
         'Kernel.ContextHelper' => [m => 'Variable'],
         'Kernel.StrP'          => [f => 'IP6'],
         'Kernel.CallFrameMO'   => [f => 'DynMetaObject'],

Makefile

@@ -7,6 +7,9 @@ COMPILER=Body.pm CgOp.pm CodeGen.pm CompilerDriver.pm Decl.pm Op.pm RxOp.pm\
 all: CORE.dll
 	git rev-parse HEAD | cut -c1-7 > VERSION
 
+safe: SAFE.dll
+	git rev-parse HEAD | cut -c1-7 > VERSION
+
 test: $(COMPILER) test.pl CORE.dll Test.dll
 	perl niecza_eval --stop-after=gmcs test.pl
 	prove -e mono MAIN.exe
@@ -20,6 +23,10 @@ Kernel.dll: Kernel.cs
 CORE.dll: $(COMPILER) Kernel.dll CORE.setting
 	perl niecza_eval --aot -L NULL -c CORE.setting
 
+SAFE.dll: $(COMPILER) Kernel.dll CORE.setting
+	perl -p gen_safe.pl < CORE.setting > SAFE.setting
+	perl niecza_eval --aot -L NULL -c SAFE.setting
+
 Test.dll: $(COMPILER) Kernel.dll CORE.dll Test.pm6
 	perl niecza_eval --aot -c Test.pm6
 

Niecza/Actions.pm

@@ -33,6 +33,7 @@ sub node { my ($M) = @_;
 }
 
 sub ws { }
+sub is_ok { }
 sub normspace { }
 sub vws { }
 sub unv { }

gen_safe.pl

@@ -0,0 +1,9 @@
+s/module CORE/module SAFE/;
+
+if (/#\?unsafe (.*)/) {
+    print "die \"$1 not allowed in safe mode\";\n";
+}
+
+if (/#\?unsafe/ .. /#\?end unsafe/) {
+    $_ = '';
+}