From 333598e488e825a898725390c9291495273934d9 Mon Sep 17 00:00:00 2001 From: akihiro17 <7583548+akihiro17@users.noreply.github.com> Date: Wed, 3 Jul 2024 00:12:44 +0900 Subject: [PATCH] Use `$(< file)` instead of `$(cat file)` --- src/std/main.ab | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/std/main.ab b/src/std/main.ab index 043b2181..1c54bad7 100644 --- a/src/std/main.ab +++ b/src/std/main.ab @@ -31,7 +31,7 @@ pub fun file_exist(path) { } pub fun file_read(path) { - return $cat "{path}"$? + return $< "{path}"$? } pub fun file_write(path, content) {