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