From to ~sircmpwn/hare-dev
From: wackbyte <wackbyte@protonmail.com> Signed-off-by: wackbyte <wackbyte@protonmail.com> --- main.ha | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/main.ha b/main.ha index bd27f73..64db335 100644 --- a/main.ha +++ b/main.ha @@ -4,6 +4,9 @@ use bufio; use os; [message trimmed]
From wackbyte to ~sircmpwn/hare-dev
This seems to break links to symbols from other modules; see the link to io::handle in <https://docs.harelang.org/strings/template#execute>. It links to /io/handle instead of /io#handle.
From to ~blainsmith/public-inbox
From: wackbyte <wackbyte@protonmail.com>
replace the "ok", "row", and "done" types with void, void, and done
respectively. because no function returns both SQLITE_OK and SQLITE_ROW
(sqlite3_step is the only one to return SQLITE_ROW and should never
return SQLITE_OK), it's okay for both "ok" and "row" to become void.
consolidate error and result codes into codes.ha and unify usage of
"wrapint" and "wrapvoid" into "wrapcode".
---
I refactored the result code handling a bit--if the design is
unsatisfactory, I'd be happy to submit a follow-up patch! I think it
works quite nicely.
[message trimmed]
From to ~blainsmith/public-inbox
From: wackbyte <wackbyte@protonmail.com> --- sqlite/handle.ha | 2 +- sqlite/results.ha | 2 +- sqlite/statement.ha | 30 +++++++++++++++--------------- 3 files changed, 17 insertions(+), 17 deletions(-) diff --git a/sqlite/handle.ha b/sqlite/handle.ha index 7178534..ca6939f 100644 --- a/sqlite/handle.ha +++ b/sqlite/handle.ha @@ -40,7 +40,7 @@ export fn close(h: handle) (void | error) = { }; [message trimmed]
From to ~blainsmith/public-inbox
From: wackbyte <wackbyte@protonmail.com> --- cmd/demo/main.ha | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/cmd/demo/main.ha b/cmd/demo/main.ha index 1870487..9618355 100644 --- a/cmd/demo/main.ha +++ b/cmd/demo/main.ha @@ -5,12 +5,14 @@ use sqlite; export fn main() void = { let db = sqlite::open("./my_app.db")!; [message trimmed]
From to ~blainsmith/public-inbox
From: wackbyte <wackbyte@protonmail.com> --- cmd/demo/main.ha | 2 -- sqlite/statement.ha | 1 - 2 files changed, 3 deletions(-) diff --git a/cmd/demo/main.ha b/cmd/demo/main.ha index 1870487..11028c5 100644 --- a/cmd/demo/main.ha +++ b/cmd/demo/main.ha @@ -1,6 +1,4 @@ use fmt; use encoding::hex; [message trimmed]
From to ~sircmpwn/hare-dev
From: wackbyte <wackbyte@protonmail.com> Consistently format: - command-line invocations - certain keywords - identifiers (variables, types, and paths) as code. Also add the dot to "et al." Signed-off-by: wackbyte <wackbyte@protonmail.com> --- content/tutorials/introduction.md | 178 +++++++++++++++--------------- 1 file changed, 89 insertions(+), 89 deletions(-) [message trimmed]
From wackbyte to ~sircmpwn/hare-users
Ah, looks like it's known: https://todo.sr.ht/~sircmpwn/hare/887
From wackbyte to ~sircmpwn/hare-users
It seems like this occurs when you try to propagate a tagged union
comprised *only* of error types. Interestingly, I got a new error when
trying to minimize the example:
```
fn new_error() (!void | !u32) = void;
export fn main() void = {
new_error()!;
};
```
```
harec: src/qtype.c:364: type_is_aggregate: Assertion `0' failed.
From wackbyte to ~sircmpwn/hare-dev
(Despite my protesting, it looks like my mail client re-wrapped the lines, sorry!)