viewcvs.cgi/types/patterns.mli

type capture = string
type fv = capture SortedList.t

exception IllFormedCup of fv * fv
exception IllFormedCap of fv * fv


(* Pattern algebra *)

type descr
type node

val make: fv -> node
val define: node -> descr -> unit

val constr : Types.node -> descr
val cup    : descr -> descr -> descr
val cap    : descr -> descr -> descr

val times  : node -> node -> descr 
val record : Types.label -> node -> descr

val capture : capture -> descr
val constant: capture -> Types.const -> descr

val id: node -> int
val descr: node -> descr
val fv : node -> fv

(* Pattern matching: static semantics *)

val accept : node -> Types.node
val filter : Types.descr -> node -> (capture,Types.node) SortedMap.t

(* Pattern matching: compilation *)

module Compile: sig
  type normal
  val normal : descr -> normal

  type dispatcher
  val dispatcher: Types.descr -> normal array -> dispatcher

  type actions = {
    basic: (Types.descr * result) list;
    prod: result dispatch dispatch;
    record: record option;
  }
  and record = 
      [ `Label of Types.label * record dispatch * record option
      | `Result of result ]
      
  and 'a dispatch =
      [ `Dispatch of dispatcher * 'a array
      | `TailCall of dispatcher
      | `Ignore of 'a
      | `None ]

  and result = int * source array
  and source = 
      [ `Catch | `Const of Types.const 
      | `Left of int | `Right of int | `Recompose of int * int
      | `Field of Types.label * int
      ]

  val actions: dispatcher -> actions

  val show : Format.formatter -> Types.descr -> normal array -> unit
end
1	type capture = string
2	type fv = capture SortedList.t
3
4	exception IllFormedCup of fv * fv
5	exception IllFormedCap of fv * fv
6
7
8	(* Pattern algebra *)
9
10	type descr
11	type node
12
13	val make: fv -> node
14	val define: node -> descr -> unit
15
16	val constr : Types.node -> descr
17	val cup : descr -> descr -> descr
18	val cap : descr -> descr -> descr
19
20	val times : node -> node -> descr
21	val record : Types.label -> node -> descr
22
23	val capture : capture -> descr
24	val constant: capture -> Types.const -> descr
25
26	val id: node -> int
27	val descr: node -> descr
28	val fv : node -> fv
29
30	(* Pattern matching: static semantics *)
31
32	val accept : node -> Types.node
33	val filter : Types.descr -> node -> (capture,Types.node) SortedMap.t
34
35	(* Pattern matching: compilation *)
36
37	module Compile: sig
38	type normal
39	val normal : descr -> normal
40
41	type dispatcher
42	val dispatcher: Types.descr -> normal array -> dispatcher
43
44	type actions = {
45	basic: (Types.descr * result) list;
46	prod: result dispatch dispatch;
47	record: record option;
48	}
49	and record =
50	[ `Label of Types.label * record dispatch * record option
51	\| `Result of result ]
52
53	and 'a dispatch =
54	[ `Dispatch of dispatcher * 'a array
55	\| `TailCall of dispatcher
56	\| `Ignore of 'a
57	\| `None ]
58
59	and result = int * source array
60	and source =
61	[ `Catch \| `Const of Types.const
62	\| `Left of int \| `Right of int \| `Recompose of int * int
63	\| `Field of Types.label * int
64	]
65
66	val actions: dispatcher -> actions
67
68	val show : Format.formatter -> Types.descr -> normal array -> unit
69	end