--
-- Copyright 2016, NICTA
--
-- This software may be distributed and modified according to the terms of
-- the GNU General Public License version 2. Note that NO WARRANTY is provided.
-- See "LICENSE_GPLv2.txt" for details.
--
-- @TAG(NICTA_GPL)
--

foo : ({ a : {a1 : U32, a2 : U32}, b : Bool }, Bool)
       -> ({ a : {a1 : U32, a2 : U32}, b : Bool } take a, {a1 : U32, a2 : U32}, Bool, U32)
foo (rec {b}, c) =
  let rec' = if c then rec {b=c} else
               let rec' {a} = rec {b=True}
               and a' = a {a1 = 0}
               in rec' {a = a'}
   and rec' {a} = rec'
   and a {a2} = a
   in (rec', a {a2 = 0}, b, a2)