blob: b395587126dd2a4753402ac5c999d6522c79cded (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
definition module Snug.Compile.Typing
from Control.Monad.State import :: StateT
from Data.Error import :: MaybeError
from Data.Map import :: Map
from Snug.Compile import :: CompileM, :: CompileState, :: LocalLocation,
:: Locals
from Snug.Syntax import :: Expression, :: SymbolIdent, :: Type
class type a :: !Locals !a -> CompileM Type
instance type Expression
|
