| -- |
| -- 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 : ({ x : U8, y : U16 } take ()) -> ({ x : U8, y : U16 } take ()) |
| foo (rec) = |
| let rec' { x = xval } = rec |
| and rec'' = rec' { x = xval } |
| in rec'' |
| |
| foobar : ({ x : U16, y : U32 } take ()) -> ({ x : U16, y : U32 } take ()) |
| foobar (rec) = |
| let rec' { x = xval } = rec |
| and rec'' = rec' { x = xval } |
| in rec'' |
