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         ]