view tests/ktuple.ur @ 2248:e09c3dc102ef

Rewrite effectfulness analysis using MonoUtil.
author Ziv Scully <ziv@mit.edu>
date Sat, 15 Aug 2015 23:08:37 -0700
parents d008c4c43a0a
children
line wrap: on
line source
type q = (fn p => p.1) (int, float)
type q = (fn p => p.1 * $p.3) (int, float, [])