summaryrefslogtreecommitdiff
path: root/tests/longConst.ur
Commit message (Expand)AuthorAge
* Support fancy expressions in module-level 'val' declarationsGravatar Adam Chlipala2012-07-18