package lutin

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

COMPILATION/EXPANSION : idents et retour au source

------------------------------------------------------------

Identificateurs et remont�e au source

C'est un peu du luxe, mais on distingue :

N.B. �a a beau �tre de simple string, on en fait quand m�me un type abstrait, au cas o� ...

----------------------------------------------------------

type space

remet le module a zero ...

val new_space : unit -> space

type t = string

Ident dans target, unique par nommage

val to_string : t -> string

val list_to_string : t list -> string -> string

val get_fresh : space -> string -> t

L'unicit� des idents target est garantie par la fonction suivante, qui prend un pr�fixe en param�tre

val get : string -> t

Si on est s�r qu'il n'y aurra pas de probl�me, on peut forcer un nom

val of_cpt : int -> t

val from_string : string -> t

Si le nom doit rester tel quel

REMONT�E AU SOURCE DANS LE PROGRAMME EXPANS�

type src_stack = (Lexeme.t * Lexeme.t * Syntaxe.val_exp option) list

Remont�e au source d'un "target" depuis le code expans�

type scope_stack = Lexeme.t * src_stack

Remont�e au source d'un scope depuis le code expans�

val main_scope : Lexeme.t -> scope_stack

Scope de base

val get_scope : Lexeme.t -> src_stack -> scope_stack

val base_stack : unit -> src_stack

val get_src_stack : 
  Lexeme.t ->
  scope_stack ->
  Syntaxe.val_exp option ->
  src_stack

Avec un scope_stack et une instance de Syntaxe.ident, on fabrique un src_stack complet

val print_src_stack : src_stack -> unit

val string_of_src_stack : src_stack -> string

val head_of_src_stack : src_stack -> Lexeme.t