1 module Defaults 2 3 ( opts0 4 ) 5 6 where 7 8 import Options 9 10 opts0 :: Opts 11 12 -- default options for simple pocket calculator use 13 14 opts0 = listToOpts 15 [ ("version", "0.0.0") 16 17 -- formatting 18 , ("output", "on") 19 , ("text", "plain") 20 , ("code", "plain") 21 , ("current", "code") 22 23 -- parsing 24 , ("keepsep", "$") 25 , ("omitsep", "|") 26 27 , ("implicit", "on") -- do CL parsing 28 , ("apply", "@") -- use that as apply symbol 29 30 -- input preprocessing (do it, but don't show it) 31 , ("expand", "off") 32 , ("unify", "on") 33 , ("useful", "on") 34 , ("min", "on") -- this implies det 35 , ("det", "off") -- therefore det is off 36 37 38 -- output postprocessing (do it) 39 , ("foldconst", "on") 40 , ("foldnonrec", "on") 41 , ("hidegrammar", "on") 42 43 -- course of evaluation 44 , ("exp", "on") -- echo input 45 , ("eval", "on") -- evaluate it 46 , ("trace", "off") 47 , ("res", "on") -- show result 48 49 , ("reuse", "off") -- tricks with reductions? 50 51 ]