Safe Haskell	None
Language	Haskell98

Language.Haskell.Liquid.Bare.Elaborate

Description

This module uses GHC API to elaborate the resolves expressions

Synopsis

fixExprToHsExpr :: HashSet Symbol -> Expr -> LHsExpr GhcPs
elaborateSpecType :: (CoreExpr -> Expr) -> (CoreExpr -> TcRn CoreExpr) -> SpecType -> TcRn SpecType

Documentation

fixExprToHsExpr :: HashSet Symbol -> Expr -> LHsExpr GhcPs Source #

Embed fixpoint expressions into parsed haskell expressions. It allows us to bypass the GHC parser and use arbitrary symbols for identifiers (compared to using the string API)

elaborateSpecType :: (CoreExpr -> Expr) -> (CoreExpr -> TcRn CoreExpr) -> SpecType -> TcRn SpecType Source #