425c97a · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

changed defaultOpts to use field names for assignment

425c97ajoe913 years ago

src/Idris/AbsSyntaxTree.hs+15−1

@@ -41,7 +41,21 @@ data IOption = IOption { opt_logLevel :: Int,

41 }

42 deriving (Show, Eq)

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+ }

46data LanguageExt = TypeProviders deriving (Show, Eq, Read, Ord)

60data LanguageExt = TypeProviders deriving (Show, Eq, Read, Ord)