annotate tests/unif1.ur @ 1860:d54984564bcd

Make that error message even more helpful
author Adam Chlipala <adam@chlipala.net>
date Wed, 17 Jul 2013 10:48:31 -0400
parents c37d8341940a
children
rev   line source
adam@1584 1 fun g n = n + 1
adam@1584 2
adam@1584 3 fun f x = x