summaryrefslogtreecommitdiff
path: root/src/expl_rename.sml
Commit message (Expand)AuthorAge
* New lessSafeFfiGravatar Adam Chlipala2014-05-02
* Tweaked parameter renaming for functors, so now demos and the original bug-tr...Gravatar Adam Chlipala2014-02-20
* Fixed issue with datatype constructors inside functors; now on to some proble...Gravatar Adam Chlipala2014-02-20
* Some more nested functor bug-fixing, including generating fresh internal name...Gravatar Adam Chlipala2014-02-20