@hackage / haskell-type-exts

A type checker for Haskell/haskell-src-exts

Latest0.1.0

About

Metadata

  • Last updated , by NiklasBroberg
  • License BSD-3-Clause

  • Maintained by: Niklas Broberg <niklas.broberg@chalmers.se>

  • Lottery factor: 0

Links

Installation

This package uses the Custom cabal build type

Package Flags

Use the -f option with cabal commands to enable flags

    base4 (on by default)

Readme

Haskell Types with Extensions (HTE, haskell-type-exts) is (an embryo of) a type checker for Haskell as embodied syntactically by the haskell-src-exts (HSE) package. At this point the type checker only handles a limited number of extensions, both regarding the various syntactic extensions handled by HSE, and the various type-level extensions implemented in e.g. GHC. The goal is to cover the full range of known Haskell extensions, but every path starts with a first step.