Commit 3061686
committed
![effekt-updater[bot]](https://avatars.githubusercontent.com/u/60718943?v=4&size=40){kind=avatar}
Github Action: update compiler 100d19a
1 parent 0fe7d86 commit 3061686
3 files changed
+3032
-3022
lines changedSome generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
- .github/workflows/autorelease.yml+1-1
- .github/workflows/deploy.yml+3-3
- .github/workflows/manual-npm-publish.yml+3-3
- effekt/shared/src/main/scala/effekt/Typer.scala+74-25
- effekt/shared/src/main/scala/effekt/symbols/types.scala+1
- effekt/shared/src/main/scala/effekt/typer/CapabilityScope.scala+60-1
- effekt/shared/src/main/scala/effekt/typer/ConcreteEffects.scala+6-3
- examples/benchmarks/input_output/financial_format.effekt+3-3
- examples/benchmarks/input_output/number_matrix.effekt+3-3
- examples/benchmarks/input_output/word_count_ascii.effekt+1-1
- examples/benchmarks/input_output/word_count_utf8.effekt+1-1
- examples/benchmarks/other/nbe.effekt+3-3
- examples/casestudies/ad.effekt.md+2-2
- examples/neg/blocks_wrong_arguments.effekt+1-1
- examples/neg/lexical_capability_selection_all_bad.check+11
- examples/neg/lexical_capability_selection_all_bad.effekt+16
- examples/neg/lexical_capability_selection_ambiguous.check+11
- examples/neg/lexical_capability_selection_ambiguous.effekt+12
- examples/pos/issue108.effekt+2-2
- examples/pos/lexical_capability_selection.check+1
- examples/pos/lexical_capability_selection.effekt+11
- examples/pos/lexical_capability_selection_annot.check+1
- examples/pos/lexical_capability_selection_annot.effekt+12
- examples/pos/lexical_capability_selection_complex.check+1
- examples/pos/lexical_capability_selection_complex.effekt+11
- examples/pos/lexical_capability_selection_existential.check+1
- examples/pos/lexical_capability_selection_existential.effekt+10
- examples/pos/lexical_capability_selection_param.check+1
- examples/pos/lexical_capability_selection_param.effekt+12
- examples/pos/lexical_capability_selection_proxy.check+1
- examples/pos/lexical_capability_selection_proxy.effekt+16
- examples/pos/polymorphic/aliases.effekt+1-1
- examples/stdlib/network/streaming.effekt+4-4
- examples/stdlib/stream/fix.effekt+1-1
- examples/stdlib/stream/fuse_newlines.effekt+2-2
- examples/tour/IO.effekt.md+1-1
- examples/tour/loops.effekt.md+1-1
- libraries/common/char.effekt+1-1
- libraries/common/io/error.effekt+96-83
- libraries/common/json.effekt+5-5
- libraries/common/random.effekt+1-1
- libraries/common/scanner.effekt+8-8
- libraries/common/stream.effekt+1-1
- libraries/common/string.effekt+1-1
- package.json+1-1
- pom.xml+1-1
- project/EffektVersion.scala+1-1
0 commit comments