SwiftTypeSystem

public

22 stars

2 forks

1 issues

Commits

List of commits on branch main.

Unverified

963162e7cd7fe3ba0ac9899b193024ce497993aa

Drop the bound from GenericParameter, it doesn't belong

DDougGregor committed 2 years ago

Unverified

4114ba065a8e24bc304129bb126cb161b6d0aead

Document a little bit of what this repository is for.

DDougGregor committed 2 years ago

Unverified

fe3575b8410b0b00e1db684032addc3337749217

Stub out the API for a substitution operation.

DDougGregor committed 2 years ago

Unverified

085c347c25ca86d089435dcf903f62525477acf6

Parameterize types on the type system so they can carry baggage.

DDougGregor committed 2 years ago

Unverified

901ce94f1bcb88a93ee046a0997f4615f8861e17

Initial stab at representing the Swift type system

DDougGregor committed 2 years ago

README

The README file for this repository.

SwiftTypeSystem

An experimental description of the Swift type system as value types, with the goal of having a single representation that can be used for both tools and reflection.