From d0814988e8165d4c0350529dc813811ccf84ac5e Mon Sep 17 00:00:00 2001
From: mrsekut <k.cloudspider@gmail.com>
Date: Wed, 15 Dec 2021 01:16:21 +0900
Subject: [PATCH] PureScript: exiting with Ctrl-D

---
 impls/purs/src/Readline.js | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/impls/purs/src/Readline.js b/impls/purs/src/Readline.js
index fe9a0e34..34620123 100644
--- a/impls/purs/src/Readline.js
+++ b/impls/purs/src/Readline.js
@@ -4,7 +4,12 @@ var readlineSync = require('readline-sync')
 
 exports.readLine = function (x) {
   return function () {
-    return readlineSync.question(x)
+    const result =  readlineSync.question(x);
+
+    if(readlineSync.getRawInput() === String.fromCharCode(0)){
+      return ":q"
+    }
+    return result;
   }
 }