aboutsummaryrefslogtreecommitdiff
path: root/lib/DATS
diff options
context:
space:
mode:
authorXander <xander@biltopia.org>2023-08-20 22:57:07 +0200
committerXander <xander@biltopia.org>2023-08-20 23:03:17 +0200
commit70cca66089896730797a71ba545c7f4e87b12975 (patch)
tree167a22d505b32bf80bd8b432833e12a74a98941b /lib/DATS
parent7fce269442cb37810a14d088ea4a61d040ec3066 (diff)
downloadats-os-master.tar.xz
ats-os-master.zip
implement pageHEADmaster
Diffstat (limited to 'lib/DATS')
-rw-r--r--lib/DATS/valid.dats2
1 files changed, 1 insertions, 1 deletions
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<a>(the_null_ptr),false) //UNSAFE:
+ ($extval(a,"(void *)NULL"),false) //UNSAFE:
end
implement{a} unwrap_valid(v) = v.0