Fix indentation in GPL headers
[hcoop/domtool2.git] / src / ast.sml
CommitLineData
42198578
AC
1(* HCoop Domtool (http://hcoop.sourceforge.net/)
2 * Copyright (c) 2006, Adam Chlipala
3 *
4 * This program is free software; you can redistribute it and/or
5 * modify it under the terms of the GNU General Public License
6 * as published by the Free Software Foundation; either version 2
7 * of the License, or (at your option) any later version.
8 *
9 * This program is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 * GNU General Public License for more details.
13 *
14 * You should have received a copy of the GNU General Public License
15 * along with this program; if not, write to the Free Software
16 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
dac62e84 17 *)
42198578
AC
18
19(* Configuration language abstract syntax *)
20
21structure Ast = struct
22
23open DataStructures
24
25(* A description of a predicate on configuration block stacks *)
63920aa5 26datatype pred' =
42198578
AC
27 CRoot
28 (* The stack is empty. *)
29 | CConst of string
63920aa5
AC
30 (* The given pred name is on top of the stack. *)
31 | CPrefix of pred
32 (* Some prefix of the stack matches the pred. *)
33 | CNot of pred
34 (* The pred does not match. *)
35 | CAnd of pred * pred
36 (* Both preds match. *)
37withtype pred = pred' * position
42198578
AC
38
39datatype typ' =
40 TBase of string
41 (* Base type *)
42 | TList of typ
43 (* SML 'a list *)
44 | TArrow of typ * typ
45 (* SML -> *)
63920aa5 46 | TAction of pred * record * record
42198578 47 (* An action that:
63920aa5 48 * - Is valid in the given pred
42198578
AC
49 * - Expects an environment compatible with the first record
50 * - Modifies it according to the second record *)
1a4e5a6c 51 | TNested of pred * typ
234b917a
AC
52 (* Allow nested configuration, in the form of a function from an action
53 * satisfying the first predicate to an action satisfying the second and
54 * with the same environment variable IO behavior. *)
27d9de59
AC
55
56 | TError
57 (* Marker that something already went wrong, so don't generate further
58 * error messages. *)
59 | TUnif of string * typ option ref
60 (* Unification variable to be determined during type-checking *)
42198578
AC
61withtype typ = typ' * position
62 and record = typ StringMap.map
63
64datatype exp' =
65 EInt of int
66 (* Constant integer *)
67 | EString of string
68 (* Constant string *)
69 | EList of exp list
70 (* Basic list constructor *)
71
27d9de59 72 | ELam of string * typ option * exp
42198578 73 (* Function abstraction *)
a22c187b
AC
74 | EVar of string
75 (* Variable bound by a function *)
42198578
AC
76 | EApp of exp * exp
77 (* Function application *)
78
234b917a
AC
79 | ESkip
80 (* Do-nothing action *)
42198578
AC
81 | ESet of string * exp
82 (* Set an environment variable *)
63920aa5 83 | EGet of string * string * exp
a22c187b 84 (* Get an environment variable *)
42198578
AC
85 | ESeq of exp list
86 (* Monad sequencer; execute a number of commands in order *)
1a4e5a6c
AC
87 | ELocal of exp * exp
88 (* Local execution; like ESeq, but the writes of the first
89 * action are abandoned *)
234b917a
AC
90 | EWith of exp * exp
91 (* Apply a TNested to an action *)
42198578
AC
92withtype exp = exp' * position
93
234b917a
AC
94datatype decl' =
95 DExternType of string
96 | DExternVal of string * typ
492c1cff 97 | DVal of string * typ option * exp
234b917a
AC
98type decl = decl' * string option * position
99
100type file = decl list * exp option
42198578
AC
101
102end