gc
This commit is contained in:
crumbtoo committed 2023-12-07 15:14:52 -07:00
1 parent c48a4ef4c0
commit a00405ebd4
3 files changed
+61 -10

No files matched your search

+6
View File
@@ -45,6 +45,12 @@ options = RLPCOptions
<> value EvaluatorGM
<> help "the intermediate layer used to model evaluation"
)
<*> option auto
( long "heap-trigger"
<> metavar "INT"
<> help "the number of nodes allowed on the heap before\
\triggering the garbage collector"
)
<*> some (argument str $ metavar "FILES...")
where
infixr 9 #