git.iko.soy/Idris-dev
on master help sign in
Tiny tidying up
e21b167Philip Rasmussen
src/Idris/AbsSyntaxTree.hs+1
compare with master
unifiedsplit
@@ -327,6 +327,7 @@ data Opt = Filename String
327 | PkgClean String
327 | PkgClean String
328 | PkgCheck String
328 | PkgCheck String
329 | PkgREPL String
329 | PkgREPL String
330+ | PkgMkDoc String -- IdrisDoc
330 | WarnOnly
331 | WarnOnly
331 | Pkg String
332 | Pkg String
332 | BCAsm String
333 | BCAsm String
src/Idris/Core/TT.hs+2−2
@@ -254,7 +254,7 @@ traceWhen False _ a = a
254data Name = UN T.Text -- ^ User-provided name
254data Name = UN T.Text -- ^ User-provided name
255 | NS Name [T.Text] -- ^ Root, namespaces
255 | NS Name [T.Text] -- ^ Root, namespaces
256 | MN Int T.Text -- ^ Machine chosen names
256 | 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
258 | SN SpecialName -- ^ Decorated function names
258 | SN SpecialName -- ^ Decorated function names
259 | SymRef Int -- ^ Reference to IBC file symbol table (used during serialisation)
259 | SymRef Int -- ^ Reference to IBC file symbol table (used during serialisation)
260 deriving (Eq, Ord)
260 deriving (Eq, Ord)
@@ -430,7 +430,7 @@ updateDef n f ctxt
430
430
431toAlist :: Ctxt a -> [(Name, a)]
431toAlist :: Ctxt a -> [(Name, a)]
432toAlist ctxt = let allns = map snd (Map.toList ctxt) in
432toAlist ctxt = let allns = map snd (Map.toList ctxt) in
433− concat (map (Map.toList) allns)
433+ concatMap (Map.toList) allns
434
434
435addAlist :: Show a => [(Name, a)] -> Ctxt a -> Ctxt a
435addAlist :: Show a => [(Name, a)] -> Ctxt a -> Ctxt a
436addAlist [] ctxt = ctxt
436addAlist [] ctxt = ctxt