tweag/nickel issues and pull requests

#1482 - Relative imports to the parent dir behave weirdly

Issue - State: closed - Opened by thufschmitt over 1 year ago - 4 comments
Labels: type: bug

#1480 - Values from transitive imports are only completed in the LSP if the transitive import is at toplevel

Issue - State: closed - Opened by thufschmitt over 1 year ago - 1 comment
Labels: type: bug, area: lsp

#1479 - `(import "foo.ncl").x` doesn't play well with the LSP completion

Issue - State: closed - Opened by thufschmitt over 1 year ago
Labels: P1, type: bug, area: lsp

#1478 - Issue diagnostics, even if empty.

Pull Request - State: closed - Opened by jneem over 1 year ago

#1477 - Language server semantics

Pull Request - State: closed - Opened by jneem over 1 year ago - 1 comment

#1476 - Ignore missing field definition errors during documentation extraction

Pull Request - State: closed - Opened by vkleen over 1 year ago

#1475 - set record arguments with --

Pull Request - State: closed - Opened by Radvendii over 1 year ago - 3 comments

#1474 - Fix REPL panic on transitive imports

Pull Request - State: closed - Opened by Radvendii over 1 year ago - 4 comments

#1473 - Proper type instantiation discipline

Pull Request - State: closed - Opened by yannham over 1 year ago

#1472 - [Refactor] Types -> Type, types -> typ

Pull Request - State: closed - Opened by yannham over 1 year ago

#1471 - [Refactor] Introduce RemoveRow trait

Pull Request - State: closed - Opened by yannham over 1 year ago - 1 comment

#1470 - Error on serializing very large numbers

Pull Request - State: closed - Opened by vkleen over 1 year ago - 1 comment

#1469 - [Refactor] Move `unify` and variants into their own trait

Pull Request - State: closed - Opened by yannham over 1 year ago

#1468 - chore(deps): bump word-wrap from 1.2.3 to 1.2.4 in /lsp/vscode-extension

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies, javascript

#1467 - Move parts of typecheck main module into new module typecheck::unif

Pull Request - State: closed - Opened by yannham over 1 year ago - 1 comment

#1466 - Opaque Contract type

Issue - State: closed - Opened by Radvendii over 1 year ago - 3 comments
Labels: type: feature request

#1465 - add %eval_nix% primop

Pull Request - State: closed - Opened by Radvendii over 1 year ago - 2 comments

#1464 - Replace assert macros by functions in tests

Pull Request - State: closed - Opened by yannham over 1 year ago

#1463 - Evaluate terms before extracting documentation

Pull Request - State: closed - Opened by vkleen over 1 year ago

#1462 - `nickel doc` appears not to work for `Let x in y` expressions

Issue - State: closed - Opened by harris-chris over 1 year ago - 5 comments

#1461 - Support a richer Number syntax

Issue - State: open - Opened by vkleen over 1 year ago
Labels: type: feature request

#1460 - Manually defined parametric contract throws `error: non serializable term` error when used without parameters

Issue - State: open - Opened by DrRuhe over 1 year ago - 1 comment
Labels: P2, area: contracts, area: error messages

#1459 - Point error messages at the offending record field if possible

Issue - State: open - Opened by vkleen over 1 year ago
Labels: type: feature request

#1457 - "Nearest" rounding for large numbers is surprising

Issue - State: closed - Opened by vkleen over 1 year ago - 4 comments
Labels: type: bug

#1456 - Make the lexer accept scientific notation

Pull Request - State: closed - Opened by vkleen over 1 year ago

#1455 - Static linking with `nickel format`

Pull Request - State: closed - Opened by vkleen over 1 year ago

#1454 - Add linker directive for *-darwin to fix PyO3

Pull Request - State: closed - Opened by nrhtr over 1 year ago - 6 comments

#1453 - Examples on integrating nickel-based configs in other tools

Issue - State: open - Opened by DrRuhe over 1 year ago - 2 comments

#1452 - add std.contract.Sequence

Pull Request - State: closed - Opened by Radvendii over 1 year ago - 1 comment

#1451 - Update `KEYWORDS` with new builtin type names

Pull Request - State: closed - Opened by vkleen over 1 year ago

#1450 - Use the Types AST variant for completion

Pull Request - State: closed - Opened by jneem over 1 year ago - 1 comment

#1449 - Autogenerated contracts with configurable configurations

Issue - State: open - Opened by vkleen over 1 year ago - 2 comments
Labels: question, type: feature request

#1448 - Algebraic Data Types

Issue - State: closed - Opened by yannham over 1 year ago - 13 comments
Labels: question, type: feature request

#1447 - Improve query inteface

Pull Request - State: closed - Opened by yannham over 1 year ago

#1446 - Unintuitive multiple ways to query a value in the repl

Issue - State: closed - Opened by yannham over 1 year ago
Labels: good first issue, P2, type: feature request, area: cli

#1445 - Cherry pick #1441 onto 1.1.1-release

Pull Request - State: closed - Opened by vkleen over 1 year ago

#1444 - chore(deps): bump semver from 5.7.1 to 5.7.2 in /lsp/vscode-extension

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies, javascript

#1443 - REPL panics on parse errors in transitively imported files

Issue - State: closed - Opened by vkleen over 1 year ago - 1 comment
Labels: good first issue, type: bug, area: cli

#1442 - Add a Types variant to Term

Pull Request - State: closed - Opened by jneem over 1 year ago - 1 comment

#1441 - Fix release artifacts workflow failure

Pull Request - State: closed - Opened by vkleen over 1 year ago

#1440 - Fix current version in manual and README

Pull Request - State: closed - Opened by yannham over 1 year ago

#1439 - Backport 1.1.1

Pull Request - State: closed - Opened by yannham over 1 year ago

#1438 - Add `term::make::static_access`

Pull Request - State: closed - Opened by vkleen over 1 year ago

#1437 - flake.lock: Update

Pull Request - State: closed - Opened by yannham over 1 year ago - 1 comment

#1436 - Add missing test for import invalidation

Pull Request - State: closed - Opened by jneem over 1 year ago

#1435 - [Fix] Fix bad lexing of mutline string closing delimiter

Pull Request - State: closed - Opened by yannham over 1 year ago

#1434 - Add notes on partial parsing

Pull Request - State: closed - Opened by jneem over 1 year ago

#1432 - Introspectable location/errors

Issue - State: open - Opened by thufschmitt over 1 year ago - 2 comments
Labels: P2, type: feature request

#1431 - Poor man's support of Nix interoperability

Issue - State: closed - Opened by thufschmitt over 1 year ago - 3 comments
Labels: P1, type: feature request

#1430 - [Refactoring] Better separation of lexer mode

Pull Request - State: closed - Opened by yannham over 1 year ago

#1429 - Wrong parsing of multiline string ending as an interpolation sequence

Issue - State: closed - Opened by yannham over 1 year ago - 1 comment
Labels: P2, type: bug, area: syntax

#1428 - Poor performance on importing big records

Issue - State: closed - Opened by YorikSar over 1 year ago - 4 comments
Labels: P2

#1427 - Stack overflow on a rather big, but not deep record.

Issue - State: closed - Opened by YorikSar over 1 year ago - 8 comments
Labels: P1, type: bug

#1426 - Invalidate importers in NLS (plus a couple other import-related issues)

Pull Request - State: closed - Opened by jneem over 1 year ago - 1 comment

#1425 - flake.lock: Update

Pull Request - State: closed - Opened by yannham over 1 year ago

#1419 - Trees that grow notes

Pull Request - State: closed - Opened by Radvendii over 1 year ago - 2 comments

#1408 - CLI arguments to pass data to and retrieve data from Nickel configurations

Issue - State: closed - Opened by yannham over 1 year ago - 9 comments
Labels: type: feature request, area: cli

#1394 - Add a section on configuration modules

Issue - State: open - Opened by yannham over 1 year ago - 4 comments
Labels: type: documentation, type: feature request

#1394 - Add a section on configuration modules

Issue - State: closed - Opened by yannham over 1 year ago - 4 comments
Labels: type: documentation, type: feature request

#1393 - Type error depends on name of irrelevant record field

Issue - State: closed - Opened by Radvendii over 1 year ago - 8 comments
Labels: type: bug

#1387 - Add two examples: imports and foreach pattern

Pull Request - State: closed - Opened by mipmip over 1 year ago - 2 comments

#1373 - Add the record builder interface from tf-ncl

Pull Request - State: closed - Opened by vkleen over 1 year ago - 1 comment

#1372 - Introduce unification variable levels and fix unsound generalization

Pull Request - State: closed - Opened by yannham over 1 year ago
Labels: area: typing

#1371 - Topiary integration as `nickel format`

Pull Request - State: closed - Opened by vkleen over 1 year ago - 1 comment

#1369 - Unsound generalization

Issue - State: closed - Opened by yannham over 1 year ago
Labels: P2, type: bug, area: typing

#1364 - Publish vscode extension to the extension marketplace

Issue - State: closed - Opened by simonzkl over 1 year ago - 6 comments

#1361 - support scientific notation for numbers

Issue - State: closed - Opened by MMesch over 1 year ago - 5 comments
Labels: type: feature request

#1358 - Encode more pre-conditions of stdlib functions as additional contracts

Pull Request - State: closed - Opened by yannham over 1 year ago

#1352 - Embed topiary as "nickel format"

Issue - State: closed - Opened by yannham over 1 year ago - 4 comments
Labels: P2, type: feature request, area: cli

#1341 - Suprising semantics of capture inside a destructuring pattern

Issue - State: closed - Opened by yannham over 1 year ago - 2 comments
Labels: question

#1318 - Panic when duplicating field in record destructuring

Issue - State: open - Opened by matthew-healy over 1 year ago
Labels: type: bug, area: typing, area: syntax

#1317 - Panic when parsing record type with field paths

Issue - State: open - Opened by matthew-healy over 1 year ago
Labels: type: bug, area: typing, area: syntax

#1316 - Poor error message in polymorphic tail type error

Issue - State: open - Opened by matthew-healy over 1 year ago
Labels: type: bug, area: typing, area: error messages

#1315 - "Expected" & "found" types are inconsistent in type mismatch errors

Issue - State: closed - Opened by matthew-healy over 1 year ago - 5 comments
Labels: type: bug, area: typing, area: error messages

#1314 - Convert tests to new annotated format, pt. 3

Pull Request - State: closed - Opened by matthew-healy over 1 year ago

#1313 - Fixes incorrect variable names in type mismatch errors

Pull Request - State: closed - Opened by vkleen over 1 year ago - 1 comment

#1312 - Incorrect type mismatch error message

Issue - State: closed - Opened by matthew-healy over 1 year ago
Labels: type: bug, area: typing

#1310 - Optional language annotation for multiline strings

Issue - State: open - Opened by stelcodes over 1 year ago - 8 comments
Labels: type: feature request

#1309 - Migrate to clap

Pull Request - State: closed - Opened by kbknapp over 1 year ago - 3 comments

#1308 - Parsing of negative numbers is non-intuitive

Issue - State: closed - Opened by matthew-healy over 1 year ago - 7 comments
Labels: P3, area: syntax, area: error messages

#1307 - Update roadmap in manual introduction

Pull Request - State: closed - Opened by vkleen over 1 year ago

#1306 - Update roadmap on website

Issue - State: closed - Opened by asymmetric over 1 year ago

#1303 - Convert tests to new annotated format, pt. 2

Pull Request - State: closed - Opened by matthew-healy over 1 year ago

#1302 - Bump version to 1.0

Pull Request - State: closed - Opened by yannham over 1 year ago

#1301 - Convert tests to new annotated format, pt. 1

Pull Request - State: closed - Opened by matthew-healy over 1 year ago - 3 comments

#1300 - Add testing infrastructure to the standard library

Issue - State: closed - Opened by matthew-healy almost 2 years ago - 2 comments
Labels: question, type: feature request, area:stdlib

#1299 - Update the manual introduction

Pull Request - State: closed - Opened by vkleen almost 2 years ago - 1 comment

#1298 - Add test infra to perform arbitrary checks on annotated ncl source files

Pull Request - State: closed - Opened by matthew-healy almost 2 years ago - 9 comments

#1297 - Fix position tracking for metadata queries

Pull Request - State: closed - Opened by vkleen almost 2 years ago

#1296 - Raise blame error when trying to access fields in the sealed tail of a polymorphic record

Pull Request - State: closed - Opened by matthew-healy almost 2 years ago - 3 comments

#1295 - Err on the side of too much syntax highlighting in the manual

Pull Request - State: closed - Opened by vkleen almost 2 years ago

#1294 - Test code blocks in documentation

Issue - State: closed - Opened by YorikSar almost 2 years ago - 2 comments
Labels: type: feature request

#1293 - Convert `import` to statement instead of pseudo-fun

Pull Request - State: closed - Opened by YorikSar almost 2 years ago - 9 comments

#1292 - Trying to query something that isn't a record gives suboptimal error message

Issue - State: open - Opened by yannham almost 2 years ago - 1 comment
Labels: type: bug, area: error messages

#1291 - Add `cargo doc` to flake checks

Pull Request - State: closed - Opened by yannham almost 2 years ago

#1290 - A quick pass over the merging section in the user manual

Pull Request - State: closed - Opened by vkleen almost 2 years ago

#1289 - Fix cargo --doc warnings

Pull Request - State: closed - Opened by yannham almost 2 years ago

#1288 - Update release notes to prepare for 1.0

Pull Request - State: closed - Opened by yannham almost 2 years ago

#1287 - Keep track of field names in labels

Pull Request - State: closed - Opened by vkleen almost 2 years ago - 1 comment

#1286 - Update topiary to latest version

Pull Request - State: closed - Opened by vkleen almost 2 years ago

GitHub / tweag/nickel issues and pull requests