From 70cca66089896730797a71ba545c7f4e87b12975 Mon Sep 17 00:00:00 2001 From: Xander Date: Sun, 20 Aug 2023 22:57:07 +0200 Subject: implement page --- lib/DATS/valid.dats | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/DATS/valid.dats') diff --git a/lib/DATS/valid.dats b/lib/DATS/valid.dats index c13386e..7c3bbab 100644 --- a/lib/DATS/valid.dats +++ b/lib/DATS/valid.dats @@ -9,7 +9,7 @@ implement{a} create_valid(value) = (value,true) implement{a} create_unvalid() = let staload UN = "prelude/SATS/unsafe.sats" in - ($UN.ptr0_get(the_null_ptr),false) //UNSAFE: + ($extval(a,"(void *)NULL"),false) //UNSAFE: end implement{a} unwrap_valid(v) = v.0 -- cgit v1.2.3