Added a ".gitignore" file (to ease git status reading on untracked files).
[Faustine.git] / interpretor / types.ml
1 type value = N of int
2 | R of float
3 | Vec of int * (int -> value)
4 | Zero
5 | W
6
7 (** type symbol, defines valid identifiers in faust expressions.*)
8 type symbol = Add
9 | Sup
10 | Mul
11 | Div
12 | Pass
13 | Stop
14 | Mem
15 | Delay
16 | Floor
17 | Int
18 | Sin
19 | Cos
20 | Atan
21 | Atantwo
22 | Sqrt
23 | Rdtable
24 | Mod
25 | Vectorize
26 | Concat
27 | Nth
28 | Serialize
29 | Larger
30 | Smaller
31 | Prefix
32 | Selecttwo
33 | Selectthree
34
35 exception Symbol_not_defined;;
36
37 let symbol_of_string = fun s ->
38 match s with
39 |"+" -> Add
40 |"-" -> Sup
41 |"*" -> Mul
42 |"/" -> Div
43 |"_" -> Pass
44 |"!" -> Stop
45 |"mem" -> Mem
46 |"@" -> Delay
47 |"floor" -> Floor
48 |"int" -> Int
49 |"sin" -> Sin
50 |"cos" -> Cos
51 |"atan" -> Atan
52 |"atantwo" -> Atantwo
53 |"sqrt" -> Sqrt
54 |"rdtable" -> Rdtable
55 |"%" -> Mod
56 |"vectorize" -> Vectorize
57 |"#" -> Concat
58 |"[]" -> Nth
59 |"serialize" -> Serialize
60 |">" -> Larger
61 |"<" -> Smaller
62 |"prefix" -> Prefix
63 |"selecttwo" -> Selecttwo
64 |"selectthree" -> Selectthree
65 | _ -> raise Symbol_not_defined
66
67
68
69 type signal = int * (int -> value)
70
71
72 type faust_exp =
73 Const of value
74 | Ident of symbol
75 | Par of faust_exp * faust_exp
76 | Seq of faust_exp * faust_exp
77 | Rec of faust_exp * faust_exp
78 | Split of faust_exp * faust_exp
79 | Merge of faust_exp * faust_exp
80
81
82 type dimension = End of (int * int)
83 | Tree of (int * int) * (dimension * dimension)