view tests/polyjsFfi.urs @ 2069:262dd74df39c

Replace common "if(!quiet) printf(...)" pattern with a macro
author Sergey Mironov <grrwlf@gmail.com>
date Tue, 02 Sep 2014 17:36:14 +0000
parents 276fa06428ba
children
line wrap: on
line source
val one : a ::: Type -> a -> a
val two : a ::: Type -> b ::: Type -> a -> b