annotate tests/time.urp @ 1964:072656016dfa

Add another simple case for record unification between alpha-equivalent constructors
author Adam Chlipala <adam@chlipala.net>
date Wed, 29 Jan 2014 18:19:25 -0500
parents 1c27f03d9bd2
children
rev   line source
adamc@436 1 debug
adamc@438 2 database dbname=time
adamc@438 3 sql time.sql
adamc@436 4
adamc@436 5 time