1--
2-- Copyright 2016, 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
11foo : all a. (a -> a, a) -> a
12foo (f, x) = f x
13
14id : all a. a -> a
15id x = x
16
17type A
18
19main : A -> (A, U32)
20main a = let a' = foo[A] (id[A], a)
21          in (a', 2)
22
23