Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / tweag/nickel issues and pull requests

#1729 - Print something when nickel doc succeeds

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

#1728 - Update Nickel IM channel from Matrix to Discord

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

#1727 - chore(deps): bump cachix/cachix-action from 12 to 13

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

#1726 - chore(deps): bump cachix/install-nix-action from 23 to 24

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

#1725 - Fix hover on assignments to subrecords

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

#1724 - Release Infrastructure: disable nodejs16 support for the GitHub runner

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

#1723 - Importing big files is taking a while

Issue - State: open - Opened by yannham about 1 year ago

#1722 - No detection of infinite recursion during evaluation of imports

Issue - State: closed - Opened by D-Brox about 1 year ago - 5 comments
Labels: good first issue, type: feature request

#1721 - Add a cli param to specify the search path

Pull Request - State: closed - Opened by jneem about 1 year ago - 6 comments

#1720 - Bump flake lock (manually)

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

#1719 - First-class docstrings

Issue - State: open - Opened by thufschmitt about 1 year ago - 4 comments
Labels: type: feature request

#1718 - Allow introspecting contracts in the generated documentation

Issue - State: open - Opened by thufschmitt about 1 year ago
Labels: type: feature request

#1716 - Search for imports in NICKEL_PATH

Pull Request - State: closed - Opened by jneem about 1 year ago - 3 comments

#1715 - Fix flake commands for 1.3.0 new CLI

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

#1714 - 1.3.0 release

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

#1712 - Add a `--field` argument to subcommands whenever it makes sense

Pull Request - State: closed - Opened by yannham about 1 year ago - 2 comments

#1710 - Add suggestions when misspelling a record field

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

#1709 - New syntax for customize mode

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

#1708 - Suggest alternatives when trying to access a non-existent record field

Issue - State: closed - Opened by thufschmitt over 1 year ago
Labels: good first issue, type: feature request

#1707 - Overly-strick typechecking of symbolic strings

Issue - State: open - Opened by thufschmitt over 1 year ago - 1 comment
Labels: type: bug

#1706 - The markdown `nickel doc` output prints some spurious backslashes

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

#1705 - Update malachite 3.x -> 4.x (and other crates)

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

#1704 - Please upgrade to Malachite 0.4.3

Issue - State: closed - Opened by mhogrefe over 1 year ago - 2 comments

#1703 - Fix unsound contract equality fast check

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

#1702 - Out-of-the-box usable documentation generator

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

#1701 - Evaluating the Nickel flake is very slow

Issue - State: open - Opened by thufschmitt over 1 year ago - 2 comments
Labels: type: bug

#1700 - Contracts applied sequentially can shadow each other

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

#1699 - Fix contract equality on revertible thunks

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

#1698 - Use match_shared in the main eval loop

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

#1697 - Reword impl of partial_cmp for Ident, LocIdent

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

#1696 - Improve hover output for let patterns

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

#1695 - Allow defining multiple variables inside `let ... in`

Issue - State: closed - Opened by giorgiga over 1 year ago - 11 comments

#1694 - Lazy imports

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

#1693 - Only act on a subset of a record

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

#1692 - Fix doc, example code for pipe lacks prefix

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

#1691 - change nickel-nix to organist

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

#1690 - Typechecking issues with polymorphic types annotations on record fields

Issue - State: closed - Opened by yannham over 1 year ago
Labels: type: bug

#1689 - Fix invalid example code in doc of blame_with_message

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

#1688 - chore(deps): bump rustix from 0.37.23 to 0.37.25

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

#1687 - Comparison to KCL (a similar constraints-based language)

Issue - State: closed - Opened by bew over 1 year ago - 3 comments

#1686 - spelling, rename to organist

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

#1685 - Change the manual font to something more readable

Issue - State: closed - Opened by giorgiga over 1 year ago - 3 comments

#1683 - Unsafety improvements

Pull Request - State: open - Opened by Radvendii over 1 year ago - 7 comments

#1682 - Allowing derived values from override fields

Issue - State: closed - Opened by rob-p over 1 year ago - 2 comments

#1681 - Improvements to `unsafe` safety

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

#1680 - Slightly-advanced use-cases for Nickel

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

#1679 - Get rid of most generated variables

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

#1678 - Fix array closurization just forgetting common contracts

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

#1677 - Make rustfmt work in match_sharedterm!

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

#1676 - Get rid of shallow_repr and print full terms

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

#1675 - Print pretty diagnostic when a benchmark fails

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

#1674 - Array contract deduplication

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

#1673 - Avoid quadratic behavior when optimizing contracts

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

#1672 - First prototype of evaluation

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

#1671 - Contract elision for static types

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

#1670 - Add cousin search to goto and hover

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

#1669 - Fix `record.update` by making `record.insert` act consistently

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

#1668 - Contract elision for static type annotations

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

#1666 - flake.lock: Update

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

#1666 - flake.lock: Update

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

#1665 - Add goto support for pattern bindings

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

#1665 - Add goto support for pattern bindings

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

#1664 - Panic when trying to evaluate an Organist project

Issue - State: open - Opened by thufschmitt over 1 year ago - 3 comments
Labels: P1, type: bug

#1664 - Panic when trying to evaluate an Organist project

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

#1663 - Remove/rename the Linearizer trait

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

#1663 - Remove/rename the Linearizer trait

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

#1662 - flake.lock: Update

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

#1662 - flake.lock: Update

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

#1662 - flake.lock: Update

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

#1661 - Take the ancestor path into account when env-completing from uncles.

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

#1661 - Take the ancestor path into account when env-completing from uncles.

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

#1660 - Update lsp notes

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

#1660 - Update lsp notes

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

#1660 - Update lsp notes

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

#1659 - Add nls benchmarks

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

#1659 - Add nls benchmarks

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

#1659 - Add nls benchmarks

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

#1658 - Nuke the linearizer

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

#1657 - Restrict `nickel doc` to specific path

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

#1656 - Default output path of `nickel doc` is unexpected

Issue - State: closed - Opened by gkleen over 1 year ago - 2 comments

#1655 - Version bumps for 1.2.2

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

#1654 - base64 encoding in stdlib

Issue - State: open - Opened by gkleen over 1 year ago - 4 comments
Labels: good first issue, type: feature request, area:stdlib

#1653 - Update 'RELEASING.md'

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

#1652 - [backport] Sign executables after patching revision on Darwin

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

#1651 - Subexpression naming scheme for incremental evaluation

Issue - State: open - Opened by yannham over 1 year ago

#1648 - Collect basic performance metrics

Issue - State: closed - Opened by yannham over 1 year ago - 1 comment
Labels: type: feature request

#1647 - Get rid of most generated variables

Issue - State: closed - Opened by yannham over 1 year ago - 1 comment
Labels: type: feature request

#1646 - Contract deduplication for records

Issue - State: closed - Opened by yannham over 1 year ago - 1 comment
Labels: type: feature request

#1645 - Prototype interfacing the interpreter with an external package manager

Issue - State: closed - Opened by yannham over 1 year ago - 1 comment
Labels: type: feature request

#1644 - Syntax for external imports

Issue - State: open - Opened by yannham over 1 year ago
Labels: type: feature request, area: syntax

#1643 - Preliminary research on the interface of common package managers

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

#1641 - Automatic evaluation in the background

Issue - State: closed - Opened by marijetamh over 1 year ago - 1 comment
Labels: type: feature request, area: lsp

#1640 - Define and handle partial evaluation (with unknown free variables from the context)

Issue - State: closed - Opened by marijetamh over 1 year ago - 2 comments
Labels: type: feature request, area: lsp

#1639 - Evaluate the whole term on-demand through code actions

Issue - State: closed - Opened by marijetamh over 1 year ago
Labels: type: feature request, area: lsp

#1638 - `nickel doc` should recognize record contracts as fields

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

#1637 - build lalrpop in a separate derivation

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

#1636 - Sign executables after patching revision on Darwin

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

#1635 - Track more metrics

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