hylo-lang/hylo

Issues

• Reference to non-existing file

  #1598 opened 2 months ago by kyouko-taiga
  3

• Improve the testing architecture for the IR

  #1645 opened 2 months ago by kyouko-taiga
  0

• Check IR invariants

  #1644 opened 2 months ago by kyouko-taiga
  0

• Design a DSL for better IR lowering

  #1643 opened 2 months ago by kyouko-taiga
  0

• Build an IR interpreter

  #1642 opened 2 months ago by kyouko-taiga
  0

• Sugars for constraining associated types

  #1640 opened 3 months ago by kyouko-taiga
  0

• NOT IMPLEMENTED: Cannot extend a generic type, specializing on an associated type

  #1627 opened 4 months ago by lucteo
  1

• Cannot use type aliases while trying to make a trait conform to another trait.

  #1606 opened 4 months ago by lucteo
  1

• We have `SemiRegular` wrong

  #1620 opened 4 months ago by dabrahams
  0

• Explicit target dependency import check

  #1615 opened 4 months ago by dabrahams
  0

• Cannot extend `Int` if other files are using the type inside traits

  #1607 opened 5 months ago by lucteo
  0

• Cannot initialize types that have static values.

  #1605 opened 5 months ago by lucteo
  2

• Soundness bug in inout accessor

  #1599 opened 6 months ago by seanbaxter
  14

• sink in subscripts don't move arguments

  #1600 opened 6 months ago by seanbaxter
  1

• Local let binding does not prevent mutation

  #1596 opened 6 months ago by tcbrindle
  9

• Should this code be legal?

  #1593 opened 6 months ago by germandiagogomez
  1

• Properly deal with multiple conditional sources of conformances

  #1566 opened 7 months ago by kyouko-taiga
  2

• Name collisions in associated types prevent conformances to multiple traits

  #1582 opened 7 months ago by kyouko-taiga
  0

• Polymorphic `unimplemented` function

  #1581 opened 7 months ago by kyouko-taiga
  0

• Get rid of most subtyping constraints

  #1559 opened 7 months ago by kyouko-taiga
  3

• Generic if-let failurea

  #1504 opened 7 months ago by dabrahams
  2

• Crash in TypeChecker.swift

  #1492 opened 9 months ago by tcbrindle
  3

• Assertion failure in assignment

  #1562 opened 7 months ago by kyouko-taiga
  0

• Memory corruption in type checking from async entrypoint/dispatch

  #1557 opened 7 months ago by koliyo
  4

• Fix type specialization during code generation

  #1560 opened 7 months ago by kyouko-taiga
  0

• Allow stored properties to satisfy property requirements

  #1555 opened 7 months ago by kyouko-taiga
  0

• Uniformize extension binding/lookup

  #1550 opened 8 months ago by kyouko-taiga
  0

• Fatal error: unexpected coercion from 'Self.Element' to Self.Element

  #1510 opened 9 months ago by dabrahams
  1

• Mutation through let binding (and no &)?

  #1523 opened 8 months ago by dabrahams
  1

• Rewrite the concurrent_sort example

  #1542 opened 8 months ago by kyouko-taiga
  0

• Line of source locations are sometimes calculated incorrectly

  #1541 opened 8 months ago by tothambrus11
  0

• Large buffer literals lead to slow inference

  #1533 opened 8 months ago by tothambrus11
  1

• Synthesized SourceFile creation doesn't respect value semantics

  #1489 opened 8 months ago by tothambrus11
  3

• For loop crashes the compiler used with Iterators

  #1534 opened 8 months ago by tothambrus11
  0

• Errors in the inference of an overloaded argument generates bad diagnostics

  #1527 opened 8 months ago by dholmin
  1

• Constraint propagation failure

  #1497 opened 8 months ago by dabrahams
  0

• IllegalTypealias test has weird syntax

  #1529 opened 8 months ago by natsukagami
  1

• Can't subscript an Int buffer

  #1526 opened 8 months ago by dholmin
  0

• Misreported circular refinement

  #1517 opened 9 months ago by dabrahams
  0

• Incorporate HyloDoc into the pipeline

  #1516 opened 9 months ago by tothambrus11
  0

• `for inout x in y` should be `for inout x in &y`

  #1512 opened 9 months ago by dabrahams
  0

• Some simple algorithm implementations

  #1511 opened 9 months ago by dabrahams
  0

• Tuple labels not happening

  #1509 opened 9 months ago by dabrahams
  0

• Extra move construction?

  #1507 opened 9 months ago by dabrahams
  2

• Implement exhaustivity checks

  #1502 opened 9 months ago by dabrahams
  1

• Invalid detection of trivially deinitializable types

  #1500 opened 9 months ago by dabrahams
  1

• Ill consumption?

  #1499 opened 9 months ago by dabrahams
  2

• Almost

  #1498 opened 9 months ago by dabrahams
  1

• Compiler error when return type is tuple in trait

  #1483 opened 10 months ago by E-vyatar
  1

• Update Implementation Status

  #1481 opened 10 months ago by bbkane
  0