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