From 54435375f29152ddbce1cd362a137280450eba94 Mon Sep 17 00:00:00 2001 From: Xander Date: Thu, 27 Jul 2023 00:46:53 +0200 Subject: migrated frame_allocator to opt. side effects constrains not implemented yet --- lib/DATS/init.dats | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 lib/DATS/init.dats (limited to 'lib/DATS') diff --git a/lib/DATS/init.dats b/lib/DATS/init.dats new file mode 100644 index 0000000..3bc5034 --- /dev/null +++ b/lib/DATS/init.dats @@ -0,0 +1,9 @@ +staload "lib/SATS/init.sats" + +#define ATS_DYNLOADFLAG 0 + +implement {vt:viewt@ype} empty (v) = +let +in + @{enabled = false, obj = v}: enablable vt +end -- cgit v1.2.3