effekt icon indicating copy to clipboard operation
effekt copied to clipboard

A research language with effect handlers and lightweight effect polymorphism

Results 151 effekt issues
Sort by recently updated
recently updated
newest added

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...

documentation
feature
good first issue

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...

bug

Bumps [gson](https://github.com/google/gson) from 2.8.2 to 2.8.9. Release notes Sourced from gson's releases. Gson 2.8.9 Make OSGi bundle's dependency on sun.misc optional (#1993). Deprecate Gson.excluder() exposing internal Excluder class (#1986). Prevent...

dependencies

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...

help wanted
refactoring

The following repl session crashes: ``` val x = 1 // enter val x = 1 // enter ``` with the following stack trace ``` [error] Internal Compiler Error: Cannot...

bug

This branch is a quick and dirty rebase of system-c-steps on top of current master to allow quick comparison (diffing). **DO NOT MERGE**.

draft