From ff16e04f57347e5a327099a61f8b16d5ba50abf3 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sun, 21 Aug 2016 08:08:41 -0700 Subject: 3237 More checks for unsafe filesystem primitives. Most important, make sure the product of any $close-file instruction is never ignored, and that it's the same variable as the ingredient. (No way to indicate that in Mu code yet, but then Mu code should always be safe and not require such checks.) --- 088file.mu | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to '088file.mu') diff --git a/088file.mu b/088file.mu index 2eeeec2c..b18919d0 100644 --- a/088file.mu +++ b/088file.mu @@ -51,7 +51,7 @@ def transmit-from-file file:number, sink:address:sink:character -> sink:address: loop } sink <- close sink - $close-file file + file <- $close-file file ] def transmit-from-text contents:address:array:character, sink:address:sink:character -> sink:address:sink:character [ @@ -87,5 +87,5 @@ def transmit-to-file file:number, source:address:source:character -> file:number $write-to-file file, c loop } - $close-file file + file <- $close-file file ] -- cgit 1.4.1-2-gfad0