summaryrefslogtreecommitdiff
path: root/src/expl_rename.sml
Commit message (Collapse)AuthorAge
* New lessSafeFfiGravatar Adam Chlipala2014-05-02
|
* Tweaked parameter renaming for functors, so now demos and the original ↵Gravatar Adam Chlipala2014-02-20
| | | | bug-triggering application work
* Fixed issue with datatype constructors inside functors; now on to some ↵Gravatar Adam Chlipala2014-02-20
| | | | problem with modules inside functors
* Some more nested functor bug-fixing, including generating fresh internal ↵Gravatar Adam Chlipala2014-02-20
names at applications; still need to debug issues with datatype constructors