fir-lang/fir

Issues

• Super trait bounds are not checked

  #26 opened a month ago
  3

• Type checking with associated types is not right

  #25 opened a month ago
  8

• Monomorphiser cannot handle renamed type parameters

  #24 opened a month ago
  0

• Ergonomics or monomorphisation and trait objects

  #23 opened 2 months ago
  0

• Weird assertion in unification

  #22 opened 3 months ago
  0

• Type system support for iterators

  #21 opened 3 months ago
  1

• Specialization in trait implementations

  #20 opened 3 months ago
  0

• Type errors in interpolation parts don't have the rigth source location

  #19 opened 3 months ago
  0

• Type syntax for contexts, trait definitions and implementations

  #18 opened 4 months ago
  5

• Use backticks for string interpolation

  #16 opened 3 months ago
  0

• Conditional compilation and constant expressions

  #13 opened 5 months ago
  0

• Macros

  #12 opened 5 months ago
  0

• Error handling plan

  #11 opened 5 months ago
  1

• Unboxing fields

  #10 opened 5 months ago
  1

• Implement libraries needed for the bootstrapping compiler

  #9 opened 5 months ago
  0

• Start testing the interpreter

  #8 opened 2 months ago
  4

• Implement a type checker in the interpreter

  #7 opened 2 months ago
  1

• Drop the `fn` keyword for function declarations?

  #6 opened 5 months ago
  0

• Single character comment syntax?

  #5 opened 5 months ago
  2

• Array (and map, set) access and update syntax

  #4 opened 5 months ago
  0

• Interchanging `Str` and `StrView`s

  #3 opened 2 months ago
  1

• Syntax for specifying type parameters values in associated function definitions

  #2 opened 5 months ago
  0

• Multi-line comment syntax

  #1 opened 2 months ago
  1