From a76c89dc3932f0b5e60ff871b08f4bc745727ae4 Mon Sep 17 00:00:00 2001 From: Xander Date: Sat, 19 Aug 2023 19:47:17 +0200 Subject: made valid type a viewtype --- lib/DATS/valid.dats | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'lib/DATS') 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 -- cgit v1.2.3