From 04e27a0b37c4fc6a7eb011c4e3c5b44dfd1a473a Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud.bailly@iohk.io>
Date: Sun, 5 May 2024 17:56:04 +0200
Subject: [PATCH] Added --help option

---
 app/Main.hs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/app/Main.hs b/app/Main.hs
index 28544fd4..87987ecc 100644
--- a/app/Main.hs
+++ b/app/Main.hs
@@ -59,6 +59,7 @@ usage =
       , "                        the options used for proving"
       , ""
       , "Options:"
+      , "--help           : Display this help text"
       , "--security <int> : The security level of the proof (default: 128)"
       , "--size <int>     : The number of elements in the input set (default: 100)"
       , "--len <int>      : The length (in bytes) of each item in the input set (default: 8)"
@@ -82,6 +83,8 @@ parseCommand = \case
 
 parseOptions = \case
   [] -> pure defaultOptions
+  ("--help" : _) ->
+    usage >> exitWith ExitSuccess
   ("--security" : lam : rest) -> do
     let λ = read lam
     opts <- parseOptions rest