Jonathan Immanuel Brachthäuser
Jonathan Immanuel Brachthäuser
I have a Nikon D5300, running ptp on Mac OS 10.15.7 It worked perfectly fine for a couple of month and now it started reporting errors like the attached one....
## OS: - Mac Os 10.14.5 ## Applications: - Zoom: works - Quicktime: works - Skype (8.65.0.78): camera not listed - Hangouts (Brave Browser): camera not listed - Slack (10.4.3):...
In this PR I try to improve the precision of the resume analysis. In particular we want to have for ``` effect writer { fun write(n : int): () }...
In this PR I am refactoring the message infrastructure as imposed by kiama. The goal is to have more structured error messages where - rendering can be delayed - rendering...
Currently the tests are all in folders `pos` and `neg`. Instead, we could organize them by topic: - syntax - handlers - stdlib - ... and add additional README.md files...
In this PR I am migrating some System C changes back to Effekt. - [x] new structure of names (#76) - [ ] mutual blocks - [x] move lift -...
On Ubuntu 16.04 it has been reported that Effekt cannot be exeucted since `java -jar` is treated as *one command* instead of a command and an argument. --- The Effekt...
In papers we always talk about "block types", since there we do not support interfaces, yet. One proposal for a naming scheme is: - the type of function like "blocks"...
Separate out finding and loading files of dependencies into --> --> main ---> Dependency Discovery --> Compiler --> CompilationUnit --> Backend | --> --> | v v Reading Files Writing...
The following repl session crashes: ``` val x = 1 // enter val x = 1 // enter ``` with the following stack trace ``` [error] Internal Compiler Error: Cannot...