Veit Heller

Results 69 issues of Veit Heller

`expandAll` relies on the fact that at some point, an expansion will hit a fixpoint, because there is nothing left to expand. Some forms seem not to hit those fixpoints,...

bug

Long error messages are for calling the compiler from the command line, while short error messages are for integrating into editors mostly. Sadly, not all of the error messages are...

nice-to-have
beginner
haskell

The parser for patterns seems not quite right; specifically there seems to be a problem with backlashes. Consider this example: ```clojure (Pattern.substitute #"\b" "w\b" "\\\\b" -1) ; => throws an...

bug
core-libs

When a reference is taken inside an `if` and returned from it the borrow checker will be happy, but emit code that frees that reference before it’s used outside. An...

bug
haskell
memory

Currently, references can be invalidated by invalidating their origin inside their scope. ```clojure (defn use-up [x] ()) (defn main [] (let-do [a [@"hi"] n (Array.nth &a 0)] (use-up a) (println*...

bug
difficult
haskell
memory

As pointed out in the chat, sometimes the lifetime inferrence will infer that an alive reference is dead. [Here’s an example of the bug and a workaround in the test...

bug
haskell
memory

Lasciate ogne speranza, voi ch'intrate. Or: this RFC is pretty big, sorry about that. ## What? in which I try to explain what I’d like. Many programming languages have some...

nice-to-have
under discussion
haskell

**Bug description** When large enough packets are transferred, the socket (at least on macOS) will become unresponsive. The behavior seen is that the write semaphore on the socket is signalled,...

Bug
Fix proposed

Currently, the tools section of Spotter is hard-coded. Ideally, we should be able to add new tools in there. Cheers

enhancement

Currently the home section is not externally extensible, because the buttons shown are instantiated in `create`. They should instead be collectable via a pragma. Cheers

enhancement