Yann Hamdaoui
Yann Hamdaoui
Amongst other things, I use `serde_json` to deserialize data that can be used directly as values in some programming language. This language has its own error reporting infrastructure, and thus...
WIP. Close #701.
Contracts (and more generally, even if that may be meaningless at runtime, any valid term) can appear inside a type annotation. The semantics, as far as the typechecker is concerned,...
Get rid of the useless separation between the global typing environment and the current typing environment. It was done for performance reasons, when cloning environments was expensive. But now, environments...
Add a clippy check to the CI (and flake checks, and pre commit hooks). The CI disables two rules that, in our experience, don't always make sense to implement. This...
**Describe the bug** Polymorphic functions in statically typed languages (and in the statically typed fragment of Nickel) enjoy a property called [parametricity](https://en.wikipedia.org/wiki/Parametricity). When derived from a static type, a contract...
Prior the implementation of RFC002 (see #595), Nickel used the following syntax for enum types: ``. Once we merged the term and type syntax, this became ambiguous with the comparison...
# Inherit Nix has an `inherit` keyword that is used to define a field with the same name and value as a a variable in scope: ```nix let foo =...
**Is your feature request related to a problem? Please describe.** Currently, polymorphic types are instantiated as in a standard Hindley-Milner system, that is as soon as a variable is used....
**Describe the bug** In some cases the parser throw undue unbound type variables errors: 1. When using a contract as the parameter of a type, itself part of a contract,...