git.iko.soy/elk
on master help sign in
Mark variables as unused in Type.Environment
5f057deEvan Czaplicki
src/Type/Environment.hs+2−2
compare with master
unifiedsplit
@@ -197,14 +197,14 @@ instantiatorHelp env aliasVars sourceType =
197 case maybeSubAlias of
197 case maybeSubAlias of
198 Nothing ->
198 Nothing ->
199 return (VarN (Just (name,args')) v)
199 return (VarN (Just (name,args')) v)
200− Just subAlias ->
200+ Just _subAlias ->
201 return (TermN (Just (name,args')) (Var1 aliasedType'))
201 return (TermN (Just (name,args')) (Var1 aliasedType'))
202
202
203 TermN maybeSubAlias t ->
203 TermN maybeSubAlias t ->
204 case maybeSubAlias of
204 case maybeSubAlias of
205 Nothing ->
205 Nothing ->
206 return (TermN (Just (name, args')) t)
206 return (TermN (Just (name, args')) t)
207− Just subAlias ->
207+ Just _subAlias ->
208 return (TermN (Just (name,args')) (Var1 aliasedType'))
208 return (TermN (Just (name,args')) (Var1 aliasedType'))
209
209
210 T.Type name ->
210 T.Type name ->