summaryrefslogtreecommitdiffstats
path: root/typing/tast_mapper.ml
AgeCommit message (Expand)Author
2015-01-16Resolve PR#6742: remove duplicate virtual_flag information from Tstr_classJacques Garrigue
2015-01-15Fix #6748 (bug in tast_iter, some module coercions were not rewritten).Alain Frisch
2014-12-22Replace TypedtreeMap with a more standard open-recursion iterator Tast_mapper...Alain Frisch