package minicaml

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Minicaml.Typecheck`

val terr : string -> string -> 'a

val typeof : Types.evt -> Types.typeinfo

val infer_lowest_numbert : Types.typeinfo -> Types.evt list -> Types.typeinfo

Get the lowest (most inclusive set) number type from a list of numbers

val cast_numbert : Types.typeinfo -> Types.evt -> Types.evt

val flatten_numbert_list : Types.evt list -> Types.typeinfo * Types.evt list

Accept a list of numbers and flatten out their kind on the numerical tower hierarchy

val stcheck : Types.typeinfo -> Types.typeinfo -> unit

val sinfer : Types.expr -> Types.evalstate -> Types.typeinfo

Static typechecking inferer

Unpacking functions: extract a value or throw an err

val unpack_int : Types.evt -> int

val unpack_float : Types.evt -> float

val unpack_complex : Types.evt -> Types.complext

val unpack_bool : Types.evt -> bool

val unpack_string : Types.evt -> string

val unpack_list : Types.evt -> Types.evt list

val unpack_dict : Types.evt -> (Types.ide * Types.evt) list

val unpack_closure : 
  Types.evt ->
  Types.ide option * Types.ide * Types.expr * Types.env_type