effekt

effekt copied to clipboard

On hover, currently a summary is shown together with the declared type. Also show the actual type at that position.

b-studios

This is a draft PR for discussion and tracking the changes on this branch :)

b-studios

Machine: Handle evidence

10

Handle evidence and use it to execute effect operations in the correct context. Is not yet correctly implemented in the llvm backend (number of stacks to pop is ignored), so...

marzipankaiser

Based on https://github.com/effekt-lang/effekt/pull/164, implement handling of evidence for the jit backend.

marzipankaiser

Jit

1

This PR is only for discussion and keeping track of the changes in JIT.

b-studios

Machine: `interfaces` and multiple operations

1

This adds a basic implementation for interfaces and new into Machine and adds a example for usage. This also supports multiple methods, but llvm currently does not (and JIT is...

marzipankaiser

Resuming an object operation produces confusing error message

1

I was playing around with objects and managed to write `resume( ... )` by accident. This however produced a very confusing error message about not being able to infer the...

jiribenes

Homogenize paths for windows

1

b-studios

Check return type annotation of object operations

1

Following up on #148, we should type check the return type annotation of object operations. As of right now, we reject all return type annotations given by the user on...

jiribenes

I started working on a typed version of our core representation. It would be great to gather feedback on it. In particular, I am interested in - learning whether it...

b-studios