Jikka-5.0.11.1: A transpiler from Python to C++ for competitive programming
Copyright(c) Kimiyuki Onaka 2021
LicenseApache License 2.0
Maintainerkimiyuki95@gmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

Jikka.Core.Language.TypeCheck

Description

 
Synopsis

Documentation

typecheckExpr :: MonadError Error m => TypeEnv -> Expr -> m Type Source #

typecheckExpr checks that the given Expr has the correct types.