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