diff options
Diffstat (limited to 'lib/DATS/valid.dats')
| -rw-r--r-- | lib/DATS/valid.dats | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/lib/DATS/valid.dats b/lib/DATS/valid.dats index f4ea0aa..c13386e 100644 --- a/lib/DATS/valid.dats +++ b/lib/DATS/valid.dats @@ -1,9 +1,9 @@ #define ATS_DYNLOADFLAG 0 staload "lib/SATS/valid.sats" -assume valid(a:t@ype,b:bool) = (a,bool b) +assume valid(a:viewt@ype,b:bool) = (a,bool b) -implement{a} create_valid(value : a) = (value,true) +implement{a} create_valid(value) = (value,true) // Create unvalid value by casting null pointer to type. implement{a} create_unvalid() = let @@ -13,3 +13,5 @@ in end implement{a} unwrap_valid(v) = v.0 + +implement{a} is_valid(v) = v.1 |