e21b167 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Tiny tidying up

commite21b167b0b4a5721128a3d7624ff68e6c179fd9c authorPhilip Rasmussen <pjor@itu.dk> dateThu 27 Mar 2014, 15:16 (13 years ago) parent9b1746c

2 files changed+3−2

unifiedsplit

src/Idris/AbsSyntaxTree.hs+1

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

327327 | PkgClean String

328328 | PkgCheck String

329329 | PkgREPL String

330+ | PkgMkDoc String -- IdrisDoc

330331 | WarnOnly

331332 | Pkg String

332333 | BCAsm String

src/Idris/Core/TT.hs+2−2

@@ -254,7 +254,7 @@ traceWhen False _ a = a

254254data Name = UN T.Text -- ^ User-provided name

255255 | NS Name [T.Text] -- ^ Root, namespaces

256256 | MN Int T.Text -- ^ Machine chosen names

257− | NErased -- ^ Name of somethng which is never used in scope

257+ | NErased -- ^ Name of something which is never used in scope

258258 | SN SpecialName -- ^ Decorated function names

259259 | SymRef Int -- ^ Reference to IBC file symbol table (used during serialisation)

260260 deriving (Eq, Ord)

@@ -430,7 +430,7 @@ updateDef n f ctxt

430430

431431toAlist :: Ctxt a -> [(Name, a)]

432432toAlist ctxt = let allns = map snd (Map.toList ctxt) in

433− concat (map (Map.toList) allns)

433+ concatMap (Map.toList) allns

434434

435435addAlist :: Show a => [(Name, a)] -> Ctxt a -> Ctxt a

436436addAlist [] ctxt = ctxt