The Vulpi Compiler

Tasks

• Lexer
  • Layout Parsing
  • Escape
  • Interpolation
• Parser
  • Types
    • Algebraic Data Types
      • Declaration
      • Generalized Version
      • Kinds
    • Records
      • Instance
      • Update
      • Declaration
      • Projection
    • Effects
      • Declaration
      • Handler
    • Traits
      • Implementation
      • Constraint Syntax
    • Abstract Data Types
    • Type Synonyms
    • Tuple
  • Let declarations
    • Let cases
  • Patterns
    • Record Pattern
    • ADT Pattern
    • Guards
    • Or Pattern
  • Blocks
  • Modules
  • Public / Private things
  • Deriving Syntax
  • Expressions
    • Operators
      • Section Patterns
      • Function applications In Half
      • Pipe and Composition
      • Precedence
    • Type ascription
    • Function Call
    • Let Expression
    • Lambda Expression
    • Do Expression
    • When Expression
    • If Expression
    • Record Expression
    • Tuple Expression
    • List Expression
    • Unit expression
  • Attributes
  • Import
• Resolution
  • Visibility resolution
  • Name resolution
  • Duplicated pattern name checking
  • Or Pattern
  • Desugar
• Type checker
  • Higher rank polymorphism
  • Higher kinded types
  • Entailment
  • Coverage checker
• Perceus
• LLVM