Matthias Benkort

Results 38 issues of Matthias Benkort

This issue summarizes the work remaining work we foresee for the β-release of Aiken. Items are settled and some may be added as needed. But it gives a general overview....

parsing
typechecking
code gen

### What is your idea? Provide a use case. Many (all?) commands return some fancy outputs which look (arguably) good in the terminal. While pretty, this isn't particularly useful for...

tooling

### What is your idea? Provide a use case. We want to provide ways to safely cast between types similar to `expect`, but without crashing the entire program on failure....

parsing
typechecking
code gen

## What is your idea? Provide a use case. Clause guards have proven not-so-useful (from surveying the Aiken community and analyzing available open-source repositories). So let's remove them from the...

parsing
typechecking
code gen

### What is your idea? Provide a use case. Aiken provides commands for adding dependencies to a project (i.e. automatically edit `aiken.toml`). However, commands are a bit "clunky" at the...

help welcomed
tooling

### Discussed in https://github.com/CardanoSolutions/kupo/discussions/134 Originally posted by **KtorZ** September 14, 2023 ### What is your idea? Provide a use case. The `--since` flag at the moment only accept a slot+header...

enhancement