diff options
| author | Xander <xander@biltopia.org> | 2023-08-20 22:57:07 +0200 |
|---|---|---|
| committer | Xander <xander@biltopia.org> | 2023-08-20 23:03:17 +0200 |
| commit | 70cca66089896730797a71ba545c7f4e87b12975 (patch) | |
| tree | 167a22d505b32bf80bd8b432833e12a74a98941b /lib/DATS/valid.dats | |
| parent | 7fce269442cb37810a14d088ea4a61d040ec3066 (diff) | |
| download | ats-os-70cca66089896730797a71ba545c7f4e87b12975.tar.xz ats-os-70cca66089896730797a71ba545c7f4e87b12975.zip | |
Diffstat (limited to 'lib/DATS/valid.dats')
| -rw-r--r-- | lib/DATS/valid.dats | 2 |
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 |