giml-language-0.1.0.0: A purely functional programming language with emphasis on structural typing
Safe HaskellSafe-Inferred
LanguageGHC2021

Language.Giml.Rewrites.PreInfer

Description

AST rewrites that run before type inference

Synopsis

Documentation

rewrites :: CompilePhase PreInferError env b m => MonadBase b b => ParsedFile Ann -> m (File Ann) Source #

Rewrites that should run before type inference