1-- 2-- Copyright 2016, NICTA 3-- 4-- This software may be distributed and modified according to the terms of 5-- the GNU General Public License version 2. Note that NO WARRANTY is provided. 6-- See "LICENSE_GPLv2.txt" for details. 7-- 8-- @TAG(NICTA_GPL) 9-- 10 11type R = {a:U64} 12f: () -> U32 13 14g: R take(..) -> R 15g r = 16 let a = upcast (f()) 17 in r {a} 18 19