Skimmel (docs.lib@6a01f0ea78d8.Lib.Skimmel)

Définitions de types

type t =

| Var of Id.t
(*
Une (occurrence de) variable.
*)
| Lit of int
(*
Une constante littérale.
*)
| Builtin of Builtin.t
(*
Un opérateur prédéfini.
*)
| Fun of t Id.Scoped.t
(*
Une fonction anonyme.
Le paramètre formel de la fonction est géré via le type Id.Scoped.t.
Par exemple, la valeur Fun Id.Scoped.{ bound = "x"; inscope = Var "x"; } représente l'arbre de syntaxe de la fonction écrite fun x -> x dans la syntaxe concrète.
*)
| RecFun of t Id.Scoped.t Id.Scoped.t
| App of t * t
(*
Une application de fonction.
*)
| Let of t * t Id.Scoped.t
(*
Une définition locale.
*)
| Seq of t * t
(*
Une séquence e1 ; e2. La valeur de l'expression gauche est ignorée, le résultat est celui de l'expression droite.
*)
| If of t * t * t
(*
Une expression conditionnelle.
*)
| Pair of t * t
(*
Une paire.
*)
| Proj of bool * t
(*
Une projection hors d'une paire : si e est une expression Skimmel qui s'évalue vers une paire Pair (v1, v2), alors l'expression Proj (false, e) (respectivement Proj (true, e)) s'évalue vers v1 (respectivement v2).
*)

Le type des expressions de Skimmel, notre langage source.

val pp : Format.formatter -> t -> unit

Les arbres de syntaxe sont affichables.

val gather_args : t -> t * t list

gather_args e renvoie une paire (e', args) telle que e est l'application de e' à la liste d'arguments args.

Par exemple, si e est de la forme App (App (e1, e2), e3) alors gather_args e renvoie (e1, [e2; e3]).

Si args est vide, alors e par définition n'était pas une application.

module Eval : sig ... end

Le module Eval fournit un interprète pour Skimmel.

module Build : sig ... end

Le module Build fournit diverses fonctions utilitaires qui facilitent la construction d'expression Skimmel.