on master help sign in
Merge pull request #315 from joe9/master

Changed defaultOpts to use field names for assignment

commit544349ac6a10a5de8fb8cc1a1e7ad207807959a9 authorEdwin Brady <edwin.brady@gmail.com> dateWed 15 May 2013, 10:10 (13 years ago) parente942432425c97a
1 file changed+15−1
src/Idris/AbsSyntaxTree.hs+15−1
src/Idris/AbsSyntaxTree.hs+15−1
@@ -41,7 +41,21 @@ data IOption = IOption { opt_logLevel :: Int,
4141 }
4242 deriving (Show, Eq)
4343
44−defaultOpts = IOption 0 False False True False False True True False ViaC Executable "" [] []
44+defaultOpts = IOption { opt_logLevel = 0
45+ , opt_typecase = False
46+ , opt_typeintype = False
47+ , opt_coverage = True
48+ , opt_showimp = False
49+ , opt_errContext = False
50+ , opt_repl = True
51+ , opt_verbose = True
52+ , opt_quiet = False
53+ , opt_target = ViaC
54+ , opt_outputTy = Executable
55+ , opt_ibcsubdir = ""
56+ , opt_importdirs = []
57+ , opt_cmdline = []
58+ }
4559
4660data LanguageExt = TypeProviders deriving (Show, Eq, Read, Ord)
4761