Extended Opt
commitec2b3046d3a5e3b772d40c959eac54def019d27f
authorNorbert Melzer <timmelzer@gmail.com>
dateFri 2 Jan 2015, 14:18 (12 years ago)
parentcacf435
src/Idris/AbsSyntaxTree.hs+1
@@ -388,6 +388,7 @@ data Opt = Filename String
388388 | ShowLibs
389389 | ShowLibdir
390390 | ShowIncs
391+ | ShowPkgs
391392 | NoBasePkgs
392393 | NoPrelude
393394 | NoBuiltins -- only for the really primitive stuff!