jstolarek / slicer

Companion code for paper "Imperative Functional Programs that Explain their Work", Wilmer Ricciotti, Jan Stolarek, Roly Perera and James Cheney, ICFP 2017, Oxford, UK
http://dl.acm.org/citation.cfm?id=3110258
GNU General Public License v3.0
6 stars 0 forks source link

Rename `name` field of `TyDecl` in `Absyn` #18

Closed jstolarek closed 7 years ago

jstolarek commented 7 years ago

name is a commonly used variable name but it is shadowed by field of TyDecl record. Need to rename to avoid warnings about name shadowing.

jstolarek commented 7 years ago

Fixed on branch js-resugaring