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