[tiger.ml.git] / compiler / src / lib / tiger / tiger_env_value.ml

module List    = ListLabels

module Map    = Tiger_map
module Symbol = Tiger_symbol
module Type   = Tiger_env_type

type t =
  | Var of
      {ty : Type.t}
  | Fun of
      { formals : Type.t list
      ; result  : Type.t
      }

type env =
  (Symbol.t, t ) Map.t

let built_in =
  [ ("print"     , [Type.String]                     , Type.Unit   )
  ; ("flush"     , []                                , Type.Unit   )
  ; ("getchar"   , []                                , Type.String )
  ; ("ord"       , [Type.String]                     , Type.Int    )
  ; ("chr"       , [Type.Int]                        , Type.String )
  ; ("size"      , [Type.String]                     , Type.Int    )
  ; ("substring" , [Type.String; Type.Int; Type.Int] , Type.String )
  ; ("concat"    , [Type.String; Type.String]        , Type.String )
  ; ("not"       , [Type.Int]                        , Type.Int    )
  ; ("exit"      , [Type.Int]                        , Type.Unit   )
  ]
  |> List.map ~f:(fun (name, formals, result) ->
      let key   = Symbol.of_string name in
      let value = Fun {formals; result} in
      (key, value)
    )
  |> Map.of_list
Commit	Line	Data
c0bdf964 SK	1	module List = ListLabels
	2
	3	module Map = Tiger_map
	4	module Symbol = Tiger_symbol
	5	module Type = Tiger_env_type
	6
	7	type t =
	8	\| Var of
	9	{ty : Type.t}
	10	\| Fun of
	11	{ formals : Type.t list
	12	; result : Type.t
	13	}
	14
	15	type env =
	16	(Symbol.t, t ) Map.t
	17
	18	let built_in =
	19	[ ("print" , [Type.String] , Type.Unit )
	20	; ("flush" , [] , Type.Unit )
	21	; ("getchar" , [] , Type.String )
	22	; ("ord" , [Type.String] , Type.Int )
	23	; ("chr" , [Type.Int] , Type.String )
	24	; ("size" , [Type.String] , Type.Int )
	25	; ("substring" , [Type.String; Type.Int; Type.Int] , Type.String )
	26	; ("concat" , [Type.String; Type.String] , Type.String )
	27	; ("not" , [Type.Int] , Type.Int )
	28	; ("exit" , [Type.Int] , Type.Unit )
	29	]
	30	\|> List.map ~f:(fun (name, formals, result) ->
	31	let key = Symbol.of_string name in
	32	let value = Fun {formals; result} in
	33	(key, value)
	34	)
	35	\|> Map.of_list