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

You can find any exported type, constructor, class, function or pattern defined in this package by (approximate) name.

Key	Shortcut
s	Open this search box
esc	Close this search box
↓,ctrl + j	Move down in search results
↑,ctrl + k	Move up in search results
↵	Go to active search result