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