wipplelang/wipple issues and pull requests

#106 - Remove `use Enum` in favor of exposing variants automatically

Issue - State: closed - Opened by WilsonGramer almost 2 years ago - 1 comment
Labels: language

#105 - Default type parameters

Issue - State: closed - Opened by WilsonGramer almost 2 years ago - 1 comment
Labels: language

#104 - Making Wipple more expressive

Issue - State: closed - Opened by WilsonGramer almost 2 years ago
Labels: language

#103 - Custom UI elements

Pull Request - State: closed - Opened by WilsonGramer almost 2 years ago
Labels: playground

#102 - Implement completions in playground

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

#101 - Allow `use` inside structure instantiation

Issue - State: open - Opened by WilsonGramer almost 2 years ago
Labels: language

#100 - New expander

Pull Request - State: closed - Opened by WilsonGramer about 2 years ago

#99 - Bounds on instances are checked shallowly

Issue - State: closed - Opened by WilsonGramer about 2 years ago - 1 comment
Labels: bug

#98 - Add a lint for bounds that don't refer to type parameters

Issue - State: closed - Opened by WilsonGramer about 2 years ago - 1 comment
Labels: diagnostics

#97 - Add a lint for unnecessary type parameters

Issue - State: closed - Opened by WilsonGramer about 2 years ago - 2 comments
Labels: diagnostics

#96 - Allow using type placeholders in place of type parameters

Issue - State: closed - Opened by WilsonGramer about 2 years ago - 1 comment
Labels: language

#95 - Specialization

Issue - State: closed - Opened by WilsonGramer about 2 years ago - 2 comments
Labels: language

#94 - Ignored trait parameters in `where` clauses

Issue - State: closed - Opened by WilsonGramer about 2 years ago - 1 comment
Labels: language

#93 - Track template expansion history

Issue - State: closed - Opened by WilsonGramer about 2 years ago - 1 comment
Labels: diagnostics

#92 - False positive in exhaustiveness checking

Issue - State: closed - Opened by WilsonGramer about 2 years ago - 1 comment
Labels: bug

#91 - Rework generic instance syntax

Issue - State: closed - Opened by WilsonGramer about 2 years ago
Labels: language

#90 - Type parameters are not scoped properly

Issue - State: closed - Opened by WilsonGramer about 2 years ago - 1 comment
Labels: bug

#89 - `try` template

Issue - State: open - Opened by WilsonGramer about 2 years ago
Labels: standard library

#88 - `end` to exit a block early

Issue - State: closed - Opened by WilsonGramer about 2 years ago - 1 comment
Labels: language

#87 - Crash when providing the wrong number of type parameters to an instance

Issue - State: closed - Opened by WilsonGramer about 2 years ago - 1 comment
Labels: bug

#86 - Require parentheses in `instance` declarations

Issue - State: closed - Opened by WilsonGramer about 2 years ago - 1 comment
Labels: bug, language, documentation

#85 - Type field shorthand

Issue - State: closed - Opened by WilsonGramer about 2 years ago - 1 comment
Labels: language

#84 - `of` operator

Issue - State: closed - Opened by WilsonGramer about 2 years ago - 1 comment
Labels: standard library

#83 - Stack-based IR, typechecker improvements, and numeric runtime functions

Pull Request - State: closed - Opened by WilsonGramer over 2 years ago
Labels: standard library

#82 - Implement numeric types

Pull Request - State: closed - Opened by WilsonGramer over 2 years ago
Labels: language

#81 - Type aliases

Issue - State: open - Opened by WilsonGramer over 2 years ago
Labels: language

#80 - Various numeric types

Issue - State: closed - Opened by WilsonGramer over 2 years ago
Labels: language

#79 - Prevent constants from referring to variables in the same scope

Issue - State: closed - Opened by WilsonGramer over 2 years ago - 1 comment
Labels: bug

#78 - Allow importing specific names from a file

Pull Request - State: closed - Opened by WilsonGramer over 2 years ago

#77 - Implement order-independent declarations

Pull Request - State: closed - Opened by WilsonGramer over 2 years ago

#76 - Order-independent declarations

Issue - State: closed - Opened by WilsonGramer over 2 years ago

#75 - Remove `Foo` type in std/logic.wpl

Issue - State: closed - Opened by WilsonGramer over 2 years ago - 1 comment
Labels: bug, standard library

#74 - Implement C FFI

Pull Request - State: closed - Opened by WilsonGramer over 2 years ago

#73 - Use Rust backend to run files

Pull Request - State: closed - Opened by WilsonGramer over 2 years ago
Labels: tools

#72 - Install Rust automatically and improve VSCode extension

Pull Request - State: closed - Opened by WilsonGramer over 2 years ago
Labels: tools

#71 - Start work on VSCode extension

Pull Request - State: closed - Opened by WilsonGramer over 2 years ago
Labels: tools

#70 - Language server

Pull Request - State: closed - Opened by WilsonGramer over 2 years ago
Labels: tools

#69 - Add Rust backend

Pull Request - State: closed - Opened by WilsonGramer over 2 years ago

#68 - `Mutable` doesn't work for constants

Issue - State: closed - Opened by WilsonGramer over 2 years ago - 2 comments
Labels: bug

#67 - Typechecker crashes on some generic code

Issue - State: closed - Opened by WilsonGramer over 2 years ago
Labels: bug

#66 - Intermediate Representation (IR)

Pull Request - State: closed - Opened by WilsonGramer over 2 years ago

#65 - Implment math operations for `Integer` and `Positive`

Pull Request - State: closed - Opened by WilsonGramer over 2 years ago
Labels: standard library

#64 - Allow importing specific names from a file

Issue - State: closed - Opened by WilsonGramer over 2 years ago
Labels: language

#63 - Issue with numeric literal inference

Issue - State: closed - Opened by WilsonGramer over 2 years ago - 1 comment
Labels: bug

#62 - Math operations for `Integer` and `Positive`

Issue - State: closed - Opened by WilsonGramer over 2 years ago
Labels: standard library

#61 - Implement generic numeric literals

Pull Request - State: closed - Opened by WilsonGramer over 2 years ago
Labels: language

#60 - Implement `Integer`, `Positive` and `Numeric`

Pull Request - State: closed - Opened by WilsonGramer over 2 years ago
Labels: language, standard library

#59 - `Integer`, `Positive` and `Numeric`

Issue - State: closed - Opened by WilsonGramer over 2 years ago
Labels: language, standard library

#58 - Generic numeric literals

Issue - State: closed - Opened by WilsonGramer over 2 years ago
Labels: language

#57 - `Hash`, `Dictionary` and `Set`

Issue - State: open - Opened by WilsonGramer over 2 years ago
Labels: standard library

#56 - Implement caching

Pull Request - State: closed - Opened by WilsonGramer over 2 years ago

#55 - Cache `use`d files

Issue - State: closed - Opened by WilsonGramer over 2 years ago

#54 - Arrays (ie. homogenous tuples)

Issue - State: closed - Opened by WilsonGramer over 2 years ago - 1 comment
Labels: language

#53 - Implement tuples

Pull Request - State: closed - Opened by WilsonGramer over 2 years ago
Labels: language

#52 - Implement tuples

Issue - State: closed - Opened by WilsonGramer over 2 years ago
Labels: language

#51 - Check if two instances collide at compile time

Pull Request - State: closed - Opened by WilsonGramer over 2 years ago
Labels: language

#50 - Support async loading

Pull Request - State: closed - Opened by WilsonGramer over 2 years ago - 1 comment

#49 - Move standard library here

Pull Request - State: closed - Opened by WilsonGramer over 2 years ago
Labels: standard library

#48 - Fix crash involving exhaustiveness checking of generic variants

Pull Request - State: closed - Opened by WilsonGramer over 2 years ago

#47 - Implement exhaustiveness checking

Pull Request - State: closed - Opened by WilsonGramer over 2 years ago

#46 - Check if two instances collide at compile time

Issue - State: closed - Opened by WilsonGramer over 2 years ago
Labels: language

#45 - Exhaustiveness checking for `when`

Issue - State: closed - Opened by WilsonGramer over 2 years ago
Labels: language

#44 - Improve diagnostics for missing instances

Pull Request - State: closed - Opened by WilsonGramer over 2 years ago
Labels: language, diagnostics

#43 - Treat statements as expressions when they are surrounded in parentheses

Pull Request - State: closed - Opened by WilsonGramer over 2 years ago - 1 comment
Labels: language

#42 - Implement templates & operators

Pull Request - State: closed - Opened by WilsonGramer over 2 years ago

#41 - Test tests

Pull Request - State: closed - Opened by WilsonGramer over 2 years ago

#40 - Test CI

Pull Request - State: closed - Opened by WilsonGramer about 3 years ago - 1 comment

#39 - Standard library APIs

Issue - State: closed - Opened by WilsonGramer over 3 years ago

#38 - Update documentation to reflect new evaluation semantics

Issue - State: closed - Opened by WilsonGramer over 3 years ago

#37 - Refactor

Pull Request - State: closed - Opened by WilsonGramer over 3 years ago

#36 - Prevent assigning to the same variable more than once per scope

Issue - State: closed - Opened by WilsonGramer over 3 years ago - 1 comment

#35 - Fix priority order for direct relations in parent environment

Issue - State: closed - Opened by WilsonGramer over 3 years ago

#34 - Merge standard library and loading into core & reorganize prelude

Issue - State: closed - Opened by WilsonGramer over 3 years ago

#33 - Update template semantics

Issue - State: closed - Opened by WilsonGramer over 3 years ago