gibbon-0.3: A compiler for operating on serialized data

Safe Haskell	Safe-Inferred
Language	Haskell2010

Gibbon.L3.Typecheck

Description

A simple typechecker for the L3 language It's very similar to the L1 typechecker

Synopsis

tcProg :: Bool -> Prog3 -> PassM Prog3
tcExp :: Bool -> DDefs3 -> Env2 Ty3 -> Exp3 -> TcM Ty3 Exp3

Documentation

tcProg :: Bool -> Prog3 -> PassM Prog3 Source #

Typecheck a L1 program

tcExp :: Bool -> DDefs3 -> Env2 Ty3 -> Exp3 -> TcM Ty3 Exp3 Source #

Typecheck a L1 expression