Bruce/tomo
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Activity

More fixes

Browse Source
This commit is contained in:
Bruce Hill 2025-04-05 02:26:18 -04:00
parent 486f2153e8
commit 4299f6e243
4 changed files with 8 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
examples/base64/base64.tm
View File

@ -4,8 +4,7 @@ _enc := "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/":bytes
_EQUAL_BYTE := Byte(0x3D)
_dec := [
:Byte
_dec : [Byte] = [
255, 255, 255, 255, 255, 255, 255, 255,
255, 255, 255, 255, 255, 255, 255, 255,
255, 255, 255, 255, 255, 255, 255, 255,
@ -32,7 +31,7 @@ lang Base64:
output := &[Byte(0) for _ in bytes.length * 4 / 3 + 4]
src := Int64(1)
dest := Int64(1)
while src + 2 <= bytes.length:
while src + 2 <= Int64(bytes.length):
chunk24 := (
(Int32(bytes[src]) <<< 16) or (Int32(bytes[src+1]) <<< 8) or Int32(bytes[src+2])
)
@ -69,7 +68,7 @@ lang Base64:
output := &[Byte(0) for _ in bytes.length/4 * 3]
src := Int64(1)
dest := Int64(1)
while src + 3 <= bytes.length:
while src + 3 <= Int64(bytes.length):
chunk24 := (
(Int32(_dec[1+bytes[src]]) <<< 18) or
(Int32(_dec[1+bytes[src+1]]) <<< 12) or

2
examples/log/log.tm
View File

@ -3,7 +3,7 @@ use <stdio.h>
timestamp_format := CString("%F %T")
logfiles : @{Path} = @{}
logfiles : @{Path} = @{/}
func _timestamp(->Text):
c_str := inline C:CString {

2
src/compile.c
View File

@ -4098,7 +4098,7 @@ CORD compile_top_level_code(env_t *env, ast_t *ast)
auto decl = Match(ast, Declare);
const char *decl_name = Match(decl->var, Var)->name;
CORD full_name = CORD_all(namespace_prefix(env, env->namespace), decl_name);
type_t *t = get_type(env, decl->value);
type_t *t = decl->type ? parse_type_ast(env, decl->type) : get_type(env, decl->value);
if (t->tag == AbortType || t->tag == VoidType || t->tag == ReturnType)
code_err(ast, "You can't declare a variable with a ", type_to_str(t), " value");

4
src/typecheck.c
View File

@ -892,7 +892,9 @@ type_t *get_type(env_t *env, ast_t *ast)
if (streq(call->name, "serialized")) // Data serialization
return Type(ArrayType, Type(ByteType));
type_t *self_value_t = value_type(get_type(env, call->self));
type_t *self_value_t = get_type(env, call->self);
if (!self_value_t) code_err(call->self, "Couldn't get the type of this value");
self_value_t = value_type(self_value_t);
switch (self_value_t->tag) {
case ArrayType: {
type_t *item_type = Match(self_value_t, ArrayType)->item_type;