search

keigoi / linocaml

Monad-based linear types in OCaml, with a few syntax extensions
Apache License 2.0
37 stars 4 forks source link

Type restriction pattern on non-linear values #2

Open keigoi opened 7 years ago

keigoi commented 7 years ago

type 'a t = V of 'a data

match%lin exp with 
| V(x:int data) -> (... here x has type int)

so I want to remove this "data" ascription. Similar thing to linear pattern.