Sam Vervaeck

Results 47 issues of Sam Vervaeck

**Describe the bug** I _think_ this is a bug though I'm not entirely sure. I get: ``` Custom { kind: InvalidData, error: "stream did not contain valid UTF-8", } ```...

bug

enhancement
typechecker
lexer/parser
in progress

This is related to issue #60. If the data in a program is entirely serializable, we can take a snapshot of that data and compare that snapshot to a future...

enhancement
blocked
discussion

Due to issue #47, we need a way to report _all_ unbound identifiers and not just the first one. One way to solve this would be to never let the...

enhancement
typechecker

## Problem Consider the following definition: ``` enum List a. Nil Pair a (List a) ``` Here, the recursive call to `List a` is wrapped in a `Pair`, which makes...

bug
priority:high
typechecker

If we're able to make all structures serializable by default, we can serialize the program state to a graph and explore it visually. A filter can be applied to the...

enhancement
blocked
discussion

Create a test runner, much like `pytest`, that transforms the AST before actually running tests. For example, the following test: ``` assert (result == 1) ``` Could be transformed to...

enhancement
blocked

enhancement
typechecker
lexer/parser

enhancement
typechecker