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 B = {a : U32}
12
13foo : B -> B
14foo b {r = x} = b {r = x}
15
16