diff options
| author | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-19 13:47:00 +0200 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-19 13:47:00 +0200 |
| commit | f4200a0aa90e2641ce1b0b1c54d00d9d4dd3b73e (patch) | |
| tree | 53b82c4d758d11936f0ee0d106ea0aaf75d48f61 /interpret | |
| parent | 8286c7c23a47c166aa87337a3146cdf3b278b144 (diff) | |
| download | scade-analyzer-f4200a0aa90e2641ce1b0b1c54d00d9d4dd3b73e.tar.gz scade-analyzer-f4200a0aa90e2641ce1b0b1c54d00d9d4dd3b73e.zip | |
Did most of the boring stuff. Now, work on the abstract domain.
Diffstat (limited to 'interpret')
| -rw-r--r-- | interpret/interpret.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/interpret/interpret.ml b/interpret/interpret.ml index b9a5576..27cecdb 100644 --- a/interpret/interpret.ml +++ b/interpret/interpret.ml @@ -210,6 +210,7 @@ end = struct | [VBool false] -> sub_eval b | _ -> type_error "Invalid condition in if." end + | AST_tuple x -> List.flatten (List.map sub_eval x) | AST_instance((f, _), args, nid) -> let (n, _) = find_node_decl env.st.p f in List.map |