ddac624 · Idris-dev · git.iko.soy

libs/base/base.ipkg+1−1

compare with master

unifiedsplit

@@ -1,6 +1,6 @@

1package base

2

3−opts = "--total"

3+opts = "--nobasepkgs --total -i ../prelude"

4modules = System,

5

6 Network.Cgi,

libs/effects/effects.ipkg+1−1

@@ -1,6 +1,6 @@

1package effects

2

3−opts = "-i ../base"

3+opts = "--nobasepkgs -i ../prelude -i ../base"

4modules = Effects,

5 Effect.Exception, Effect.File, Effect.State,

6 Effect.Random, Effect.StdIO, Effect.Select,

libs/javascript/javascript.ipkg+1−1

@@ -1,5 +1,5 @@

1package javascript

2

3−opts = "-i ../base"

3+opts = "--nobasepkgs -i ../prelude -i ../base"

4modules = JavaScript, JavaScript.JSON

5

src/Idris/AbsSyntaxTree.hs+1

@@ -261,6 +261,7 @@ data Opt = Filename String

261 | ShowLibs

262 | ShowLibdir

263 | ShowIncs

264+ | NoBasePkgs

264 | NoPrelude

265 | NoPrelude

265 | NoBuiltins -- only for the really primitive stuff!

266 | NoBuiltins -- only for the really primitive stuff!

266 | NoREPL

267 | NoREPL

src/Idris/REPL.hs+4−2

@@ -939,6 +939,7 @@ parseArgs ("--quiet":ns) = Quiet : (parseArgs ns)

939parseArgs ("--ideslave":ns) = Ideslave : (parseArgs ns)

940parseArgs ("--client":ns) = [Client (showSep " " ns)]

941parseArgs ("--log":lvl:ns) = OLogging (read lvl) : (parseArgs ns)

942+parseArgs ("--nobasepkgs":ns) = NoBasePkgs : (parseArgs ns)

942parseArgs ("--noprelude":ns) = NoPrelude : (parseArgs ns)

943parseArgs ("--noprelude":ns) = NoPrelude : (parseArgs ns)

943parseArgs ("--nobuiltins":ns) = NoBuiltins : NoPrelude : (parseArgs ns)

944parseArgs ("--nobuiltins":ns) = NoBuiltins : NoPrelude : (parseArgs ns)

944parseArgs ("--check":ns) = NoREPL : (parseArgs ns)

945parseArgs ("--check":ns) = NoREPL : (parseArgs ns)

@@ -1127,8 +1128,9 @@ idrisMain opts =

1127 (d:_) -> setIBCSubDir d

1128 (d:_) -> setIBCSubDir d

1128 setImportDirs importdirs

1129 setImportDirs importdirs

1129

1130

1131+ when (not (NoBasePkgs `elem` opts)) $ do

1130− addPkgDir "prelude"

1132+ addPkgDir "prelude"

1131− addPkgDir "base"

1133+ addPkgDir "base"

1132 mapM_ addPkgDir pkgdirs

1134 mapM_ addPkgDir pkgdirs

1133 elabPrims

1135 elabPrims

1134 when (not (NoBuiltins `elem` opts)) $ do x <- loadModule stdout "Builtins"

1136 when (not (NoBuiltins `elem` opts)) $ do x <- loadModule stdout "Builtins"