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