Jonathan Immanuel Brachthäuser

Results 283 comments of Jonathan Immanuel Brachthäuser

Now that #229 is merged, we should revisit this issue. Actually, I just tried it and the ml implementation gives `0` while js gives `4` for `println(countTriples(10, 14))`, which needs...

Thanks for looking into it. 👍 First of all, what is a system file path? They are slightly different between operating systems (especially Windows...). Also, the language should work on...

I think there are a few different issues here. The first error message is indeed confusing. However, the second message is expected: you are passing `f1` which has capture `m1`...

I think we should separate (at least) two different use cases: - "scripting use" - "project use" I believe (but might be wrong) that in scripting use we might require/import/include...

@jiribenes pointed out that Go had bad experiences with using `git` to distribute packages.

Also see #389 for future work on imports.

@phischu could you add the example from your talk here?

I tried running the example and on llvm it outputs: ``` [info] running effekt.Server --noexit-on-error --backend llvm issue244.effekt [error] scala.NotImplementedError: an implementation is missing [error] at scala.Predef$.$qmark$qmark$qmark(Predef.scala:344) [error] at effekt.machine.Transformer$.transform(Transformer.scala:470)...

This PR consistently fails to build with "Text file busy" (#322)

If this is for the JS backend you can use `"(new TextDecoder('utf-8').decode(b))"` as a workaround for now.