Commit 5a789e9f authored by Michael Hanus 's avatar Michael Hanus

Class context added

parent 59b428be
......@@ -494,7 +494,7 @@ cenv2hidden env = concat (map pair2hidden env)
-- association lists (list of tag/value pairs):
-- change an associated value (or add association, if not there):
changeAssoc :: [(tt,tv)] -> tt -> tv -> [(tt,tv)]
changeAssoc :: Eq tt => [(tt,tv)] -> tt -> tv -> [(tt,tv)]
changeAssoc [] tag val = [(tag,val)]
changeAssoc ((tag1,val1):tvs) tag val =
if tag1 == tag then (tag,val) : tvs
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment