From d5b1459410c9ba8800a33bb4c8054dfadc2db4e3 Mon Sep 17 00:00:00 2001
From: Radon Rosborough <radon.neon@gmail.com>
Date: Sun, 23 Aug 2020 17:11:24 -0600
Subject: [PATCH] Remove support for Koka

Unfortunately, it is unusable due to excessive memory consumption. See
https://github.com/koka-lang/koka/issues/34.

This reverts commit 72c99b00c6fe5f5c9e1e49fa15b4390cac1396b9.
---
 backend/src/langs.ts                | 13 -------------
 scripts/docker-install-phase3b.bash |  3 ---
 scripts/docker-install-phase6.bash  | 10 ----------
 3 files changed, 26 deletions(-)

diff --git a/backend/src/langs.ts b/backend/src/langs.ts
index 3b67e26..b64d98f 100644
--- a/backend/src/langs.ts
+++ b/backend/src/langs.ts
@@ -1422,19 +1422,6 @@ PLEASE GIVE UP
 `,
     timeout: 15,
   },
-  koka: {
-    aliases: ["kk"],
-    name: "Koka",
-    repl: "NODE_PATH=/opt/koka/node_modules rlwrap koka -i/opt/koka/lib",
-    main: "main.kk",
-    run:
-      "NODE_PATH=/opt/koka/node_modules rlwrap koka -i/opt/koka/lib main.kk; NODE_PATH=/opt/koka/node_modules rlwrap koka -i/opt/koka/lib",
-    template: `public fun main() : <div,console> ()
-{
-  println("Hello, world!")
-}
-`,
-  },
   kotlin: {
     aliases: ["kts", "kotlinc"],
     name: "Kotlin",
diff --git a/scripts/docker-install-phase3b.bash b/scripts/docker-install-phase3b.bash
index 6413d3d..123e5ec 100755
--- a/scripts/docker-install-phase3b.bash
+++ b/scripts/docker-install-phase3b.bash
@@ -64,9 +64,6 @@ default-jdk
 # Julia
 julia
 
-# Koka
-rlwrap
-
 # Ksh
 ksh
 
diff --git a/scripts/docker-install-phase6.bash b/scripts/docker-install-phase6.bash
index 30b4ec4..318d7f0 100755
--- a/scripts/docker-install-phase6.bash
+++ b/scripts/docker-install-phase6.bash
@@ -65,16 +65,6 @@ mv src-kalyn/Stdlib src-kalyn/Stdlib.kalyn /opt/kalyn/
 popd >/dev/null
 rm -rf kalyn
 
-# Koka
-git clone https://github.com/koka-lang/koka.git /opt/koka
-pushd /opt/koka >/dev/null
-npm install
-npm install jake
-npx jake compiler
-popd >/dev/null
-ln -s /opt/koka/out/debug/koka-* /usr/local/bin/koka
-rm -rf koka
-
 # LOLCODE
 git clone https://github.com/justinmeza/lci.git
 pushd lci >/dev/null