From 1dc430ecb2f4d99466d9c35ba95fbf5219aa5e18 Mon Sep 17 00:00:00 2001
From: Samuel Hym <samuel.hym@univ-lille.fr>
Date: Fri, 12 Apr 2019 17:48:30 +0200
Subject: [PATCH] Expose the new parameter to the commandline
---
app/digger.hs | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/app/digger.hs b/app/digger.hs
index 0a4f387..d47e791 100644
--- a/app/digger.hs
+++ b/app/digger.hs
@@ -158,7 +158,7 @@ optsCP = CP <$> optMonad
<*> optPrefixVTyp
<*> optRecBound
- <*> pure (prefixTmp def)
+ <*> optPrefixTmp
<*> pure (unaryOps def)
<*> pure (binaryOps def)
@@ -181,6 +181,10 @@ optsCP = CP <$> optMonad
optIgnores = many $ strOption $ long "ignore" <> metavar "<symb>"
<> help "symbol to ignore (do not try to convert it)"
+ optPrefixTmp = strOption $ short 'a' <> long "prefix-autovars"
+ <> value (prefixTmp def) <> showDefaultWith id
+ <> help "prefix for automatically-generated variables"
+
optPrefixConst = optPref "prefix-const" (prefixConst def) "prefix for exported constructor names"
optPrefixFun = optPref "prefix-fun" (prefixFun def) "prefix for exported function names"
optPrefixFTyp = optPref "prefix-ftyp" (prefixFTyp def) "prefix for exported function types"
--
GitLab