Commit f5ca7313 authored by Pietro Abate's avatar Pietro Abate
Browse files

update examples using constructed types

parent b065169e
type T = <a>[('A)*];;
type T('A) = <a>[('A)*];;
let fun f ( <a>l : T ) : Int = aux l;;
let fun f ( <a>l : T('A) ) : Int = aux l;;
let fun aux ([('A)*] -> Int)
| [] -> 0
......
type a = ('a,'b);;
type b = 'a;;
type a('a,'b) = ('a,'b);;
type b('a) = 'a;;
type t = [('a)];;
type u = [('a) | ('a')];;
type t('a) = [('a)];;
type u('a) = [('a) | ('a')];;
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment