Facundo Javier Gelatti issues

Results 5 issues of


                                            Facundo Javier Gelatti

Change attributes to constants in Tput to save memory

Resolves https://github.com/hoaproject/Console/issues/83

Type information is lost/changed when inlining a function (and it's not clear why)

Note: I'm not sure whether this is a bug or I don't fully understand how some language feature is supposed to work (I'm currently learning Idris). If you find it's...

Case split doesn't detect cases when working inside a namespace

# Problem If we define a type inside a namespace and it's not publicly exported, then we shouldn't be able to pattern match over its definition. This works fine, as...

Totality checker inconsistency when using Inf

# Problem Sometimes the totality checker validates a function as total when it's not. In particular, this happens when using `Inf` in the return type, combined with having the recursive...

Update dependencies and change node supported versions

This PR updates the project dependencies and configures it to work with the latest version of TypeScript. Changes: - Updated all dependencies, including the versions used in GitHub Actions. -...