aboutsummaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
Diffstat (limited to 'lib')
-rw-r--r--lib/DATS/init.dats4
-rw-r--r--lib/DATS/writer.dats11
-rw-r--r--lib/SATS/init.sats6
3 files changed, 11 insertions, 10 deletions
diff --git a/lib/DATS/init.dats b/lib/DATS/init.dats
index 3bc5034..492d5dc 100644
--- a/lib/DATS/init.dats
+++ b/lib/DATS/init.dats
@@ -2,8 +2,8 @@ staload "lib/SATS/init.sats"
#define ATS_DYNLOADFLAG 0
-implement {vt:viewt@ype} empty (v) =
+implement {vt:viewt@ype} uninitialized (v) =
let
in
- @{enabled = false, obj = v}: enablable vt
+ @{initialized = false, obj = v}: initializable vt
end
diff --git a/lib/DATS/writer.dats b/lib/DATS/writer.dats
index 92314b7..d5a327b 100644
--- a/lib/DATS/writer.dats
+++ b/lib/DATS/writer.dats
@@ -84,9 +84,10 @@ in
// Static variable
var _writer : writer_t?
prval () = opt_none _writer
- var writer = empty<writer_t>(_writer)
+ var writer = uninitialized<writer_t>(_writer)
in
- val writer_ref = ref_make_viewptr{enablable writer_t} (view@writer | addr@writer)
+ // Reference to writer
+ val writer_ref = ref_make_viewptr{initializable writer_t} (view@writer | addr@writer)
end
in
@@ -95,7 +96,7 @@ in
val (vbox pf | p) = ref_get_viewptr(writer_ref)
implement string_foreach$fwork<writer_t> (c,env) = put_char(c,env)
in
- if p->enabled then let
+ if p->initialized then let
prval () = opt_unsome p->obj
val _ = $effmask_ref(string_foreach_env<writer_t> (g1ofg0(str),p->obj))
prval () = opt_some p->obj
@@ -106,7 +107,7 @@ in
implement clear_screen() : void = let
val (vbox pf | p) = ref_get_viewptr(writer_ref)
in
- if p->enabled then
+ if p->initialized then
let
prval () = opt_unsome p->obj
val () = _clear_screen(p->obj)
@@ -117,7 +118,7 @@ in
let
prval () = opt_unnone p->obj
val () = p->obj := @{position = 0, color_code = code_value(White,Black)}
- val () = p->enabled := true
+ val () = p->initialized := true
val () = _clear_screen(p->obj)
prval () = opt_some p->obj
in
diff --git a/lib/SATS/init.sats b/lib/SATS/init.sats
index 83b5e8d..c9d9d89 100644
--- a/lib/SATS/init.sats
+++ b/lib/SATS/init.sats
@@ -1,4 +1,4 @@
-viewtypedef enablable (vt:viewt@ype) =
- [enabled: bool] @{ enabled = bool enabled, obj = opt (vt, enabled) }
+viewtypedef initializable (vt:viewt@ype) =
+ [initialized: bool] @{ initialized = bool initialized, obj = opt (vt, initialized) }
-fun {vt:viewt@ype} empty (v : opt(vt,false)): enablable vt
+fun {vt:viewt@ype} uninitialized (v : opt(vt,false)): initializable vt