Commit 059e76592548c257791a536a99d1a3988134f60b
2023-09-06T12:16:22
module_load records load time
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136
diff --git a/README.md b/README.md
index e0c41ad..8873dd2 100644
--- a/README.md
+++ b/README.md
@@ -112,7 +112,7 @@ Script interpreter.
- DONE boolean operators
- DONE comparison operators
- arrays
- - DONE parse
+ - parse
- DONE inspect
- DONE [][][] data
- lists
@@ -123,6 +123,10 @@ Script interpreter.
- ffi ?
- libdwarf
- control structures
+ - modules
+ - DONE symbols
+ - DONE as facts
+ - autoload (remember load time, compare with file time)
- functions
- return
- def
diff --git a/libc3/env.c b/libc3/env.c
index bb66b92..f783ffc 100644
--- a/libc3/env.c
+++ b/libc3/env.c
@@ -14,6 +14,7 @@
#include <err.h>
#include <stdio.h>
#include <stdlib.h>
+#include <time.h>
#include <unistd.h>
#include "binding.h"
#include "c3.h"
@@ -553,6 +554,13 @@ bool env_eval_tuple (s_env *env, const s_tuple *tuple, s_tag *dest)
return true;
}
+s64 env_gettime ()
+{
+ struct timespec time;
+ clock_gettime(CLOCK_REALTIME, &time);
+ return time.tv_sec;
+}
+
s_env * env_init (s_env *env)
{
assert(env);
@@ -603,7 +611,11 @@ void env_longjmp (s_env *env, jmp_buf *jmp_buf)
bool env_module_load (s_env *env, const s_sym *name,
s_facts *facts)
{
+ s_fact fact;
s_str path;
+ s_tag tag_name;
+ s_tag tag_load_time;
+ s_tag tag_time;
assert(env);
assert(name);
assert(facts);
@@ -627,6 +639,10 @@ bool env_module_load (s_env *env, const s_sym *name,
return false;
}
str_clean(&path);
+ fact.subject = tag_init_sym(&tag_name, name);
+ fact.predicate = tag_init_sym(&tag_load_time, sym_1("load_time"));
+ fact.object = tag_init_time(&tag_time);
+ facts_add_fact(facts, &fact);
return true;
}
diff --git a/libc3/tag.c b/libc3/tag.c
index 6ee5eea..37d4567 100644
--- a/libc3/tag.c
+++ b/libc3/tag.c
@@ -2203,6 +2203,27 @@ s_tag * tag_init_sym_1 (s_tag *tag, const s8 *p)
return tag;
}
+s_tag * tag_init_time (s_tag *tag)
+{
+ struct timespec time;
+ s_tag tmp;
+ tag_init_tuple(&tmp, 2);
+ clock_gettime(CLOCK_REALTIME, &time);
+ tag_init_s64(&tmp.data.tuple.tag[0], time.tv_sec);
+ tag_init_s64(&tmp.data.tuple.tag[1], time.tv_nsec);
+ *tag = tmp;
+ return tag;
+}
+
+s_tag * tag_init_tuple (s_tag *tag, uw count)
+{
+ assert(tag);
+ assert(count);
+ tag->type = TAG_TUPLE;
+ tuple_init(&tag->data.tuple, count);
+ return tag;
+}
+
s_tag * tag_init_u8 (s_tag *tag, u8 i)
{
assert(tag);
diff --git a/libc3/tag.h b/libc3/tag.h
index de9c303..d8d65d7 100644
--- a/libc3/tag.h
+++ b/libc3/tag.h
@@ -48,6 +48,7 @@ s_tag * tag_init_str (s_tag *tag, s8 *free, uw size, const s8 *p);
s_tag * tag_init_str_1 (s_tag *tag, s8 *free, const s8 *p);
s_tag * tag_init_sym (s_tag *tag, const s_sym *p);
s_tag * tag_init_sym_1 (s_tag *tag, const s8 *p);
+s_tag * tag_init_time (s_tag *tag);
s_tag * tag_init_tuple (s_tag *tag, uw count);
s_tag * tag_init_tuple_2 (s_tag *tag, s_tag *a, s_tag *b);
s_tag * tag_init_var (s_tag *tag);
diff --git a/test/ic3/list.in b/test/ic3/list.in
index d26447d..d0852ec 100644
--- a/test/ic3/list.in
+++ b/test/ic3/list.in
@@ -42,3 +42,5 @@
## comment 9b
List.map((1, 2, 3, 4), fn (x) { x * 2 })
+
+List.reverse((1, 2, 3, 4))
diff --git a/test/ic3/list.out.expected b/test/ic3/list.out.expected
index d3385af..6b61ae3 100644
--- a/test/ic3/list.out.expected
+++ b/test/ic3/list.out.expected
@@ -21,3 +21,4 @@
(:a, :b, :c | :d)
(:a, :b, :c | :d)
(2, 4, 6, 8)
+(4, 3, 2, 1)