Remove 'printService' and 'stdio' libraries

These should be reimplemented as a new IO library with an entirely new API.

Author: ssoelvsten

lib/Makefile

@@ -13,10 +13,8 @@ build:
 	$(COMPILER) ./HashMap.trp -l
 	$(COMPILER) ./HashSet.trp -l
   # Old stuff, here be dragons...
-	$(COMPILER) ./printService.trp -l
 	$(COMPILER) ./timeout.trp -l
 	$(COMPILER) ./declassifyutil.trp -l
-	$(COMPILER) ./stdio.trp -l
 
 clean:
 	rm -rf out

lib/printService.trp

@@ -1,8 +1,19 @@
-import stdio
 let val out = getStdout authority
+
+    fun inputLineWithPini auth =
+        let pini auth val s = inputLine ()
+        in s
+        end
+
+    fun inputLineAtLevel auth lev =
+        let val s = inputLineWithPini auth
+        in declassify (s, auth, lev)
+        end
+
     fun writeString x = fwrite (out, x)
+
     val _ = writeString "Please input something: "
     val s = inputLineAtLevel authority `{}`
     val _ =  writeString ("You have provided input: " ^ s ^ "\n")
-in s 
-end 
+
+in s end

lib/stdio.trp

@@ -1,7 +1,11 @@
-import stdio
+let fun inputLineWithPini auth =
+        let pini auth val s = inputLine ()
+        in s
+        end
 
+    val out = getStdout authority
+    val _ = fwrite (out, "What's your name: ")
+    val input = inputLineWithPini authority
 
-let val _ = fwrite (getStdout authority, "What's your name: ")
-    val input = inputLineWithPini authority 
-in printString ("Hello" ^ " " ^ input )
+in fwrite (out, "Hello" ^ " " ^ input ^ "\n")
 end