git.iko.soy/Idris-dev
on master help sign in
Make Haddock able to parse Idris's source
adf51f4David Christiansen
src/Core/CaseTree.hs+2−2
compare with master
unifiedsplit
@@ -418,8 +418,8 @@ depatt ns tm = dp [] tm
418 applyMaps ms (App f a) = App (applyMaps ms f) (applyMaps ms a)
418 applyMaps ms (App f a) = App (applyMaps ms f) (applyMaps ms a)
419 applyMaps ms t = t
419 applyMaps ms t = t
420
420
421−prune :: Bool -> -- ^ Convert single branches to projections (only useful at runtime)
421+prune :: Bool -- ^ Convert single branches to projections (only useful at runtime)
422− SC -> SC
422+ -> SC -> SC
423prune proj (Case n alts)
423prune proj (Case n alts)
424 = let alts' = filter notErased (map pruneAlt alts) in
424 = let alts' = filter notErased (map pruneAlt alts) in
425 case alts' of
425 case alts' of
src/Core/Elaborate.hs+1−1
@@ -379,7 +379,7 @@ apply :: Raw -> [(Bool, Int)] -> Elab' aux [Name]
379apply fn imps =
379apply fn imps =
380 do args <- prepare_apply fn (map fst imps)
380 do args <- prepare_apply fn (map fst imps)
381 fill (raw_apply fn (map Var args))
381 fill (raw_apply fn (map Var args))
382− -- *Don't* solve the arguments we're specifying by hand.
382+ -- _Don't_ solve the arguments we're specifying by hand.
383 -- (remove from unified list before calling end_unify)
383 -- (remove from unified list before calling end_unify)
384 -- HMMM: Actually, if we get it wrong, the typechecker will complain!
384 -- HMMM: Actually, if we get it wrong, the typechecker will complain!
385 -- so do nothing
385 -- so do nothing