Search results

Contract (and maybe Label) type

type: feature request

Status: Open.

#2167 In tweag/nickel;

· jneem opened on Feb 12, 2025

LSP tests sometimes deadlock

type: bug

Status: Open.

#2164 In tweag/nickel;

· yannham opened on Feb 11, 2025

 ·  

Next minor (1.10)

stack overflow in the typechecker

type: bug

Status: Open.

#2152 In tweag/nickel;

· jneem opened on Feb 5, 2025

nickel startup overhead seems significant.

Status: Open.

#2140 In tweag/nickel;

· suimong opened on Jan 22, 2025

Checked intra-doc links

type: feature request

Status: Open.

#2138 In tweag/nickel;

· jneem opened on Jan 21, 2025

give more descriptive error on unmatched pattern

Status: Open.

#2128 In tweag/nickel;

· KiaraGrouwstra opened on Dec 19, 2024

Dynamic field are ignored by the typechecker

area: typing

type: bug

Status: Open.

#2124 In tweag/nickel;

· yannham opened on Dec 16, 2024

Incorrect casing of standard library values

Status: Open.

#2105 In tweag/nickel;

· toastal opened on Nov 24, 2024

Warnings

type: feature request

Status: Open.

#2076 In tweag/nickel;

· jneem opened on Oct 22, 2024

Better control over error locations for strict contracts

type: feature request

Status: Open.

#2053 In tweag/nickel;

· jneem opened on Sep 26, 2024

std.contract.from_validator is hard to use in statically typed code

type: bug

Status: Open.

#2050 In tweag/nickel;

· jneem opened on Sep 24, 2024

Accessing environment variables

area: cli

type: feature request

Status: Open.

#2043 In tweag/nickel;

· yannham opened on Sep 17, 2024