annotate tests/polyjsFfi.urs @ 2133:e722bcc42eab

Fix missing SQL name-mangling in table initialization
author Istvan Chung <istvan@vivatropolis.org>
date Thu, 23 Apr 2015 16:37:15 -0400
parents 276fa06428ba
children
rev   line source
adam@1836 1 val one : a ::: Type -> a -> a
adam@1836 2 val two : a ::: Type -> b ::: Type -> a -> b