aboutsummaryrefslogtreecommitdiff
path: root/typecheck.c
diff options
context:
space:
mode:
authorBruce Hill <bruce@bruce-hill.com>2024-08-03 17:33:18 -0400
committerBruce Hill <bruce@bruce-hill.com>2024-08-03 17:33:18 -0400
commit68b34cf00b8a52509c0bed7b1e66b3e40de0c4f5 (patch)
tree04ffa2538865b4a342c78d677026b3703f6e4d41 /typecheck.c
parent99b00530ceaf787a936cd37894e2dbf5b6e612ce (diff)
Fix array:random() to return a random item using correct RNG logic,
rather than a reference.
Diffstat (limited to 'typecheck.c')
-rw-r--r--typecheck.c3
1 files changed, 1 insertions, 2 deletions
diff --git a/typecheck.c b/typecheck.c
index 49ebe582..a790f73d 100644
--- a/typecheck.c
+++ b/typecheck.c
@@ -667,8 +667,7 @@ type_t *get_type(env_t *env, ast_t *ast)
else if (streq(call->name, "sort")) return Type(VoidType);
else if (streq(call->name, "sorted")) return self_value_t;
else if (streq(call->name, "shuffle")) return Type(VoidType);
- else if (streq(call->name, "random"))
- return Type(PointerType, .pointed=Match(self_value_t, ArrayType)->item_type, .is_optional=true, .is_readonly=true);
+ else if (streq(call->name, "random")) return Match(self_value_t, ArrayType)->item_type;
else if (streq(call->name, "sample")) return self_value_t;
else if (streq(call->name, "clear")) return Type(VoidType);
else if (streq(call->name, "from")) return self_value_t;