effekt icon indicating copy to clipboard operation
effekt copied to clipboard

Published 20 hours ago • verified publisher icon effekt-lang

Refactor/portsystemc

Open b-studios opened this issue 2 years ago • 1 comments

In this PR I am migrating some System C changes back to Effekt.

  • [x] new structure of names (#76)
  • [ ] mutual blocks
  • [x] move lift
  • [ ] substitution
  • [ ] type parameters on blocks

Not ready yet, do not merge

b-studios avatar Apr 25 '22 16:04 b-studios

I backported mutual blocks from System C (delimited by val or var or expressions). This makes it easier in namer and typer to identify definitions that can be mutually recursive.

Now val and var are no "definitions" anymore.

@phischu There are two decisions we have to make:

  1. What should we do in the REPL? Previously users could enter val x = 4 which would add a toplevel binding (here the binding needed to be pure).
  2. What should we do with toplevel constant definitions? There are many tests that now fail (see above) that rely on this feature.

We could add a separate syntactic construct that just "looks" like ValDef but doesn't perform sequencing. But this leads to confusion and duplication. WDYT?

b-studios avatar Apr 25 '22 21:04 b-studios