robrix/path issues and pull requests

#110 - fused-syntax

Pull Request - State: closed - Opened by robrix about 5 years ago

#109 - Migrate fused-effects imports to #204

Pull Request - State: closed - Opened by robrix about 5 years ago

#108 - Prettyprinter

Pull Request - State: closed - Opened by robrix over 5 years ago

#107 - Fancily-typed variable binding

Pull Request - State: closed - Opened by robrix over 5 years ago

#106 - Solver

Pull Request - State: open - Opened by robrix over 5 years ago

#105 - Indentation-agnostic grammar

Pull Request - State: closed - Opened by robrix over 5 years ago

#104 - Modular syntax

Pull Request - State: closed - Opened by robrix over 5 years ago

#103 - Clean up a bunch of imports.

Pull Request - State: closed - Opened by robrix over 5 years ago

#102 - Problems

Pull Request - State: closed - Opened by robrix over 5 years ago

#101 - Explicitize implicits

Pull Request - State: closed - Opened by robrix over 5 years ago

#100 - Make `instance Semigroup Usage` do addition

Pull Request - State: closed - Opened by glaebhoerl over 5 years ago

#99 - Annotate all Surface terms

Pull Request - State: closed - Opened by robrix over 5 years ago

#98 - Syntax for declarations/definitions is duplicative

Issue - State: open - Opened by robrix over 5 years ago - 1 comment
Labels: bug, parser

#97 - Algebraic elaboration

Pull Request - State: closed - Opened by robrix over 5 years ago - 1 comment

#96 - Parametric syntax

Pull Request - State: closed - Opened by robrix over 5 years ago

#95 - Type checking through unification

Pull Request - State: closed - Opened by robrix over 5 years ago - 1 comment

#94 - Bump fused-effects

Pull Request - State: closed - Opened by robrix over 5 years ago

#93 - 🔥 the Elab effect

Pull Request - State: closed - Opened by robrix almost 6 years ago

#92 - Constraint failure reporting

Pull Request - State: closed - Opened by robrix almost 6 years ago

#91 - Type mismatch errors don’t include the context

Issue - State: open - Opened by robrix almost 6 years ago
Labels: bug, constraint solver

#90 - Terminating constraint solver

Pull Request - State: closed - Opened by robrix almost 6 years ago

#89 - De Bruijn indices

Pull Request - State: closed - Opened by robrix almost 6 years ago - 1 comment

#88 - Untyped constraints

Pull Request - State: closed - Opened by robrix almost 6 years ago - 1 comment

#87 - Separate constraint gathering and solving

Pull Request - State: closed - Opened by robrix almost 6 years ago - 1 comment

#86 - Multiplicities should be inferred

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement, elaborator

#85 - Pretty-printing aligns applications at a higher priority than function arrows

Issue - State: open - Opened by robrix almost 6 years ago
Labels: bug, pretty printer

#84 - Explicit erasable syntax

Issue - State: open - Opened by robrix almost 6 years ago - 3 comments
Labels: enhancement, compiler

#83 - Redeclarations and redefinitions in the same scope should error

Issue - State: open - Opened by robrix almost 6 years ago
Labels: bug, elaborator

#82 - Implicitly bind evaluated results to “it”

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement, REPL

#81 - Flag to treat warnings as errors

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement, compiler

#80 - Flags to control the level of detail in error/warning output

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement, compiler, REPL

#79 - Time elaboration of declarations & modules

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement, elaborator

#78 - Type mismatch errors are pretty-printed on a single line when space allows

Issue - State: closed - Opened by robrix almost 6 years ago
Labels: bug, pretty printer

#77 - Shadowed bindings are indistinguishable in the context

Issue - State: open - Opened by robrix almost 6 years ago
Labels: bug, renamer

#76 - Type mismatch errors don’t indicate the overall type being checked

Issue - State: open - Opened by robrix almost 6 years ago
Labels: bug, elaborator

#75 - Investigate partial evaluation

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement, compiler

#74 - Syntax sugar: explicit type applications

Issue - State: closed - Opened by robrix almost 6 years ago - 1 comment
Labels: enhancement, pretty printer

#73 - Syntax sugar: syntax for explicitized type abstractions

Issue - State: closed - Opened by robrix almost 6 years ago - 1 comment
Labels: enhancement, parser

#72 - LSP server

Issue - State: open - Opened by robrix almost 6 years ago - 1 comment
Labels: enhancement

#71 - Evaluating bindings in the REPL doesn’t force neutral terms

Issue - State: closed - Opened by robrix almost 6 years ago
Labels: bug, REPL

#70 - Declarations w/o definitions typecheck but can’t be evaluated

Issue - State: open - Opened by robrix almost 6 years ago
Labels: bug, elaborator

#69 - Desugar

Pull Request - State: closed - Opened by robrix almost 6 years ago

#68 - Desugaring pass between renaming and elaboration

Issue - State: closed - Opened by robrix almost 6 years ago
Labels: enhancement

#67 - Unification

Pull Request - State: closed - Opened by robrix almost 6 years ago - 1 comment

#66 - Multiple errors within a file are logged in reverse order

Issue - State: closed - Opened by robrix almost 6 years ago
Labels: bug, elaborator

#65 - Show detailed status of individual modules in compilation

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement, compiler, REPL

#64 - Tally the errors & warnings

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement, compiler, REPL

#63 - Dependent unification

Issue - State: closed - Opened by robrix almost 6 years ago
Labels: enhancement, elaborator

#62 - Elaborator reflection

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement, elaborator

#61 - Nominal types

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement, elaborator

#60 - Syntax sugar: operator sections

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement, parser

#59 - :doc REPL command

Issue - State: open - Opened by robrix almost 6 years ago - 1 comment
Labels: enhancement, REPL, docs

#58 - Run tests in CI

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement

#57 - Parse structured documentation comments

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement, parser, docs

#56 - Documentation formatter

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement, docs

#55 - Surface syntax highlighter

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement, pretty printer

#54 - Surface syntax formatter

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement, pretty printer

#53 - Only show local bindings in the REPL

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement, REPL

#52 - Qualify module names & symbols with package names

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement, renamer, package manager

#51 - Syntax sugar: list syntax

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement, parser

#50 - Type-based name overloading

Issue - State: open - Opened by robrix almost 6 years ago - 1 comment
Labels: enhancement, elaborator, renamer

#49 - Typeclasses/constraint-based name overloading

Issue - State: open - Opened by robrix almost 6 years ago - 2 comments
Labels: enhancement, elaborator, constraint solver

#48 - Haskell-style layout

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement, parser

#47 - :type shows the resource requirements as well as the type

Issue - State: closed - Opened by robrix almost 6 years ago
Labels: bug, REPL

#46 - Breakpoints

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement, REPL

#45 - Primitive values

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement

#44 - Syntax sugar: numbers

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement, parser

#43 - Tab-complete paths in REPL shell commands

Issue - State: open - Opened by robrix almost 6 years ago - 1 comment
Labels: enhancement, REPL

#42 - Manage the working directory from the REPL

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement, REPL

#41 - Shell out from the REPL

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement, REPL

#40 - REPL tab completion

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement, REPL

#39 - Empty REPL commands fail with syntax error

Issue - State: closed - Opened by robrix almost 6 years ago
Labels: bug, REPL

#38 - Syntax sugar: bind parameters on the lhs of definitions

Issue - State: open - Opened by robrix almost 6 years ago - 1 comment
Labels: enhancement, parser

#37 - Syntax sugar: case expressions

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement, parser

#36 - Implicits

Issue - State: closed - Opened by robrix almost 6 years ago - 1 comment
Labels: enhancement, elaborator

#35 - Type-directed program synthesis

Issue - State: open - Opened by robrix almost 6 years ago - 1 comment
Labels: enhancement, elaborator

#34 - Pretty-printed types embed definitions, not names

Issue - State: open - Opened by robrix almost 6 years ago - 1 comment
Labels: bug, elaborator

#33 - Syntax sugar: datatype declarations

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement, parser

#32 - Specify path packages in path sources

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement, package manager

#31 - Use an existing config language for package descriptions

Issue - State: open - Opened by robrix almost 6 years ago - 1 comment
Labels: enhancement, package manager

#30 - Build executables

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement, package manager, compiler

#29 - Runtime system

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement, runtime

#28 - IO effects

Issue - State: open - Opened by robrix almost 6 years ago - 1 comment
Labels: enhancement, runtime

#27 - Algebraic side effects

Issue - State: open - Opened by robrix almost 6 years ago - 1 comment
Labels: enhancement

#26 - ∀ syntax is inconsistent with other function types

Issue - State: closed - Opened by robrix almost 6 years ago
Labels: bug, parser

#25 - Reloading in the REPL always recompiles all the modules

Issue - State: open - Opened by robrix almost 6 years ago - 1 comment
Labels: bug, REPL

#24 - Produce multiple elaboration errors

Issue - State: closed - Opened by robrix almost 6 years ago
Labels: enhancement, elaborator

#23 - Flags to control warnings

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement, compiler

#22 - CLI commands to output graphs

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement, compiler

#21 - Optimization

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement, compiler

#20 - Code generation

Issue - State: open - Opened by robrix almost 6 years ago - 1 comment
Labels: enhancement, compiler

#19 - Type erasure

Issue - State: open - Opened by robrix almost 6 years ago - 1 comment
Labels: enhancement, elaborator

#18 - Package parameters

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement, package manager

#17 - Package language version constraints

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement, package manager

#16 - Package dependency version constraints

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement, package manager

#15 - Package dependencies

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement, package manager

#14 - Package versioning

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement, package manager

#13 - Nested modules

Issue - State: open - Opened by robrix almost 6 years ago
Labels: enhancement, elaborator

#6 - Syntax sugar: implicit generalization of type parameters in declarations

Issue - State: closed - Opened by robrix almost 6 years ago - 1 comment
Labels: enhancement, elaborator

#1 - Parse documentation comments on declarations and modules

Issue - State: open - Opened by robrix almost 6 years ago - 2 comments
Labels: enhancement, parser, docs

GitHub / robrix/path issues and pull requests