wipplelang/wipple

Issues

• `no substitution for type parameter` crash at runtime

  #190 opened 5 months ago by WilsonGramer
  5

• Check number of type parameters passed to type

  #155 opened 7 months ago by WilsonGramer
  1

• Set max width for diagnostic bubble

  #153 opened 7 months ago by WilsonGramer
  1

• Add text section

  #154 opened 7 months ago by WilsonGramer
  1

• Add `beta` channel for website

  #145 opened 9 months ago by WilsonGramer
  0

• Exhaustiveness checking

  #150 opened a year ago by WilsonGramer
  1

• Error rendering

  #143 opened a year ago by WilsonGramer
  0

• Documentation parser

  #151 opened a year ago by WilsonGramer
  1

• Save compilation artifacts to disk

  #144 opened a year ago by WilsonGramer
  1

• JavaScript-based IR interpreter

  #148 opened a year ago by WilsonGramer
  0

• Linker

  #147 opened a year ago by WilsonGramer
  0

• IR codegen

  #146 opened a year ago by WilsonGramer
  0

• Structure expressions and patterns

  #149 opened a year ago by WilsonGramer
  0

• Add analysis driver

  #142 opened a year ago by WilsonGramer
  0

• Split `Module` into `Library` and `Interface`

  #141 opened a year ago by WilsonGramer
  0

• Add `lazy` type attribute

  #139 opened a year ago by WilsonGramer
  0

• `[derive]` attribute

  #122 opened a year ago by WilsonGramer
  1

• Bounds allow arbitrary types to satisfy traits

  #138 opened a year ago by WilsonGramer
  0

• Require parentheses around interpolated text in attributes

  #137 opened a year ago by WilsonGramer
  1

• Remove contextual constants

  #133 opened a year ago by WilsonGramer
  1

• Custom entrypoints

  #132 opened a year ago by WilsonGramer
  1

• Affine & linear types

  #129 opened a year ago by WilsonGramer
  0

• Remove explicit `format` keyword

  #128 opened a year ago by WilsonGramer
  1

• Add `[sealed]` instances and make `[allow-overlapping-instances]` require `[sealed]`

  #127 opened a year ago by WilsonGramer
  1

• Merging structures with `where`

  #101 opened a year ago by WilsonGramer
  1

• `end` and `try` for control flow

  #118 opened a year ago by WilsonGramer
  1

• `[private]` attribute

  #123 opened a year ago by WilsonGramer
  1

• Rename `external "runtime"` to `intrinsic`

  #120 opened a year ago by WilsonGramer
  0

• Compiler plugins

  #119 opened a year ago by WilsonGramer
  0

• `try` template

  #89 opened 2 years ago by WilsonGramer
  1

• Default values in structure types

  #116 opened 2 years ago by WilsonGramer
  1

• Default instance implementations

  #117 opened 2 years ago by WilsonGramer
  0

• Allow defining simple enums on a single line

  #115 opened 2 years ago by WilsonGramer
  1

• Programs are not executed in Firefox

  #113 opened 2 years ago by kkeri
  2

• Mismatched types in music code examples

  #114 opened 2 years ago by kkeri
  1

• Better diagnostics around mismatched types

  #111 opened 2 years ago by WilsonGramer
  0

• Placeholders are removed during formatting

  #110 opened 2 years ago by WilsonGramer
  1

• Remove `use Enum` in favor of exposing variants automatically

  #106 opened 2 years ago by WilsonGramer
  1

• Default type parameters

  #105 opened 2 years ago by WilsonGramer
  1

• Making Wipple more expressive

  #104 opened 2 years ago by WilsonGramer
  0

• False positive in exhaustiveness checking

  #92 opened 2 years ago by WilsonGramer
  1

• Track template expansion history

  #93 opened 2 years ago by WilsonGramer
  1

• Bounds on instances are checked shallowly

  #99 opened 2 years ago by WilsonGramer
  1

• Add a lint for unnecessary type parameters

  #97 opened 2 years ago by WilsonGramer
  2

• Add a lint for bounds that don't refer to type parameters

  #98 opened 2 years ago by WilsonGramer
  1

• Specialization

  #95 opened 2 years ago by WilsonGramer
  2

• Allow using type placeholders in place of type parameters

  #96 opened 2 years ago by WilsonGramer
  1

• Ignored trait parameters in `where` clauses

  #94 opened 2 years ago by WilsonGramer
  1

• Rework generic instance syntax

  #91 opened 2 years ago by WilsonGramer
  0

• Type parameters are not scoped properly

  #90 opened 2 years ago by WilsonGramer
  1