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 11type A 12 13type Option a = <None () | Some a> 14 15foo : (Option A) take None -> #{f1 : U8, f2 : Option A} 16foo a = #{f1 = 8, f2 = a} 17 18bar : <None ()> 19bar = None () 20 21dummy : <None ()> -> () 22