Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Merge PVar and PWild, to get more reasonable type-class resolution | 2016-02-07 | |
| | |||
* | New lessSafeFfi | 2014-05-02 | |
| | |||
* | Tweaked parameter renaming for functors, so now demos and the original ↵ | 2014-02-20 | |
| | | | | bug-triggering application work | ||
* | Fixed issue with datatype constructors inside functors; now on to some ↵ | 2014-02-20 | |
| | | | | problem with modules inside functors | ||
* | Some more nested functor bug-fixing, including generating fresh internal ↵ | 2014-02-20 | |
names at applications; still need to debug issues with datatype constructors |