From 2df90011b8ec1cad3657a1b5d2485ad9d953afd2 Mon Sep 17 00:00:00 2001
From: Sean Gillespie <sean@mistersg.net>
Date: Mon, 2 Jan 2017 17:52:11 -0500
Subject: [PATCH] Make System F a secret feature
---
app/Main.hs | 1 +
1 file changed, 1 insertion(+)
diff --git a/app/Main.hs b/app/Main.hs
index 6c1c01c..c7fc8b3 100644
--- a/app/Main.hs
+++ b/app/Main.hs
@@ -61,6 +61,7 @@ cliParser :: Parser CliOptions
cliParser = CliOptions
<$> flag untyped systemf (long "system-f" <>
short 'f' <>
+ internal <> -- this is a secret feature
help "Use the System F interpreter")
<*> switch (long "version" <>
--
GitLab