Remove outdated comments

This commit is contained in:
Peter Podlovics 2020-04-19 16:40:49 +02:00 committed by GitHub
parent 272086b1b7
commit a9a92bb0f0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -28,8 +28,8 @@ constantPropagation e = ana builder (mempty, e) where
builder :: (Env, Exp) -> ExpF (Env, Exp)
builder (env, exp) = case exp of
ECase scrut alts -> -- val ~ scrut
let constVal = getValue scrut env -- error "substValsVal env val"
ECase scrut alts ->
let constVal = getValue scrut env
known = isKnown constVal || Map.member scrut env
matchingAlts = [alt | alt@(Alt cpat name body) <- alts, match cpat constVal]
defaultAlts = [alt | alt@(Alt DefaultPat name body) <- alts]