X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/1cbe917465857acd366e4058d1f71c5653720b17..8cbb96323335d1a2b42a9daac94a9d538ab93536:/src/ast.sml diff --git a/src/ast.sml b/src/ast.sml index 0e8688d..ead8531 100644 --- a/src/ast.sml +++ b/src/ast.sml @@ -80,7 +80,7 @@ datatype exp' = (* Do-nothing action *) | ESet of string * exp (* Set an environment variable *) - | EGet of string * string * exp + | EGet of string * typ option * string * exp (* Get an environment variable *) | ESeq of exp list (* Monad sequencer; execute a number of commands in order *)