Code

Type check for loops#1087

Code

Merged

kyouko-taiga merged 20 commits intomainhylo-lang/hylo:mainfrom typecheck-for-stmthylo-lang/hylo:typecheck-for-stmtCopy head branch name to clipboardOct 15, 2023

+483-108

Commits

Commits on Oct 11, 2023

• Make 'Regular' a refinement of 'SemiRegular'

  kyouko-taiga

  committed
  e1b28f2

  Copy full SHA for e1b28f2

• Make 'Bool' conform to 'Regular'

  kyouko-taiga

  committed
  6149921

  Copy full SHA for 6149921

• Make 'CollectionOfOne' conform to 'Collection'

  kyouko-taiga

  committed
  71c344a

  Copy full SHA for 71c344a

Commits on Oct 12, 2023

• Fix 'extensions(of:exposedTo:)' for bound generic types

  kyouko-taiga

  committed
  1336742

  Copy full SHA for 1336742

• Define a protocol for conformance sources

  kyouko-taiga

  committed
  138117d

  Copy full SHA for 138117d

• Refactor 'checkConformance(of:to:)'

  kyouko-taiga

  committed
  7b10133

  Copy full SHA for 7b10133

• Create an abstraction for conformance origins

  kyouko-taiga

  committed
  6823323

  Copy full SHA for 6823323

• Rename 'checkConformance(declaredBy:)' to 'checkAllConformances'

  kyouko-taiga

  committed
  fd5ff1f

  Copy full SHA for fd5ff1f

• Refactor the generation of conformance diagnostics

  Show description for d9682c8
  kyouko-taiga

  committed
  d9682c8

  Copy full SHA for d9682c8

• Move the logic to find cached conformances to the type checker

  kyouko-taiga

  committed
  fdd23a0

  Copy full SHA for fdd23a0

• Add a method to demand checked conformances

  kyouko-taiga

  committed
  d6be907

  Copy full SHA for d6be907

• Model the use of binding declarations as filters

  kyouko-taiga

  committed
  33a58cf

  Copy full SHA for 33a58cf

Commits on Oct 13, 2023

• Fix the identification of conformances declared in imports (#1055)

  kyouko-taiga

  committed
  160b5e6

  Copy full SHA for 160b5e6

• Remove needless return value

  kyouko-taiga

  committed
  a689eac

  Copy full SHA for a689eac

• Fix the scope used for name lookup during conformance checking

  kyouko-taiga

  committed
  d96727b

  Copy full SHA for d96727b

Commits on Oct 14, 2023

• Make 'Int' conform to 'Regular'

  kyouko-taiga

  committed
  586c16a

  Copy full SHA for 586c16a

• Add 'Iterator' to the standard library

  kyouko-taiga

  committed
  5e1bedb

  Copy full SHA for 5e1bedb

• Add a helper to determine whether a binding declaration is consuming

  kyouko-taiga

  committed
  788bc78

  Copy full SHA for 788bc78

• Implement a method to demand a particular checked conformance

  kyouko-taiga

  committed
  8163209

  Copy full SHA for 8163209

• Implement type checking for for statements

  kyouko-taiga

  committed
  49fc8fd

  Copy full SHA for 49fc8fd