Kincaid

racket/gui is similar enough to standard racket that it's useful to use its syntax highlighting

internal error: Core.Parc.getDataDefInfo: cannot find type: std/time/timestamp/timespan

4

I see this error when I try to compile my code: ``` parse : .../bb.kk check : bb bb(1, 1): internal error: Core.Parc.getDataDefInfo: cannot find type: std/time/timestamp/timespan CallStack (from HasCallStack):...

internal error: Map.!: given key is not an element in the map

2

I found this while trying to reduce my reproducer for #500. It's very similar, and could be related or a duplicate. When I try to compile my code, I see...

Vector to string conversion adds an extra character

1

I think there's an off-by-one error in kk_string_from_chars. When I convert a vector of chars to a string, a space is added to the end of the resulting string. For...

Sort function with sfc random numbers fails with optimizations enabled

3

The following code works with `-O0`, but fails at `-O1` and above: ``` import std/core/undiv import std/num/int32 import std/num/random // Taken from https://github.com/koka-community/std fun sort(l: list, ?cmp: (a, a) ->...

The Koka compiler hangs when I try to compile this code with optimizations: https://github.com/Caid11/independent-study-fall-24/tree/optimizer-hang It seems to enter an infinite loop at anything above `-O0`, and eventually exhausts the memory...

I noticed this error when I tried to use the builtin documentation templates: ``` .../todo.md.html:17 GET http://127.0.0.1:8000/doc/markdeep.min.js net::ERR_ABORTED 403 (Illegal webpath (731): /doc/markdeep.min.js) ``` I switched the markdeep path from...