1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

open Ast

(*
--# Get Intent Field
--#
--# Retrieves a field from an Intent object.
--#
--# @name intent_get
--# @param intent :: Intent The intent object.
--# @param key :: String The field name.
--# @return :: String The field value.
--# @family explain
--# @seealso intent_fields
--# @export
*)
let register env =
  Env.add "intent_get"
    (make_builtin ~name:"intent_get" 2 (fun args _env ->
      match args with
      | [VIntent { intent_fields }; VString key] ->
          (match List.assoc_opt key intent_fields with
           | Some v -> VString v
           | None -> Error.make_error KeyError (Printf.sprintf "Intent field `%s` not found." key))
      | [VIntent _; _] -> Error.type_error "Function `intent_get` expects a String key as second argument."
      | [_; _] -> Error.type_error "Function `intent_get` expects an Intent value as first argument."
      | _ -> Error.arity_error_named "intent_get" 2 (List.length args)
    ))
    env