Jonathan Immanuel Brachthäuser
Jonathan Immanuel Brachthäuser
Maybe this also needs to be changed, when merging this PR: http://effekt-lang.org/docs/getting-started#compiling-programs-with-effekt
Just wanted to let you know that I have a fork of Kiama where I stripped out almost everything to make it easily compilable with scala-js: https://github.com/b-studios/kiama/tree/scala-js since I mostly...
This was easier than expected. @phischu if you are interested, you could benchmark this to compare it to our MLTon implementation used at https://github.com/effect-handlers/effect-handlers-bench This way we could estimate how...
Just tagging @dvdvgt since this might be relevant for him.
To be honest, I think the latter (`n-1` not parsing) is a feature, not a bug :) I am happy with nudging people to use whitespace.
As I said, I wouldn't want to fix this. People should use whitespaces if they mean `n - 1`.
The easiest way to disallow it is to allow - as part of an identifier ;)
Given that in `Phase`, we have ```scala def apply(input: In)(using C: Context): Option[Out] = try { run(input) } catch { case FatalPhaseError(msg) => C.report(msg) None } ``` what about we...
Why would we want to write `-(1+2)`? For `prefixNot` I can understand it, but `-(1+2)` is a smell in my opinion. Is there a usecase where you think this is...
Ok, here are two points to address 1. spaces: a lot of Effekt code is written by students (in theses, etc.). Since we do not have a nice formatter, they...