1-- 2-- Copyright 2017, 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 A 12type B = {f1 : U8, f2 : U8, f3 : A} 13 14-- can put multiple times 15bar : B take (f1) -> B 16bar b = let b' = b {f1 = 1} 17 and b'' = b' {f1 = 2} 18 in b'' 19 20