diff options
| author | Kathy Gray | 2015-03-17 15:09:56 +0000 |
|---|---|---|
| committer | Kathy Gray | 2015-03-17 15:09:56 +0000 |
| commit | e15a5884ea4e29492869655a3daaa8cbdcd48828 (patch) | |
| tree | 60d8de289fd0f0c851a396e04a563f6bd047a0a1 /src/lem_interp/interp.lem | |
| parent | d32c8308f43f97d4bec74990736e31c085950dd6 (diff) | |
Correct directionality in interpreter. Now the interpreter shouldn't use inc unless that's the current default or there's no default set in the spec
Diffstat (limited to 'src/lem_interp/interp.lem')
| -rw-r--r-- | src/lem_interp/interp.lem | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem index 0c30cca8..9106f7b6 100644 --- a/src/lem_interp/interp.lem +++ b/src/lem_interp/interp.lem @@ -2445,8 +2445,8 @@ let rec extract_default_direction (Defs defs) = match defs with | [] -> IInc (*When lack of a declared default, go for inc*) | def::defs -> match def with - | DEF_default (DT_aux (DT_order Oinc) _) -> IInc - | DEF_default (DT_aux (DT_order Odec) _) -> IDec + | DEF_default (DT_aux (DT_order (Ord_aux Ord_inc _)) _) -> IInc + | DEF_default (DT_aux (DT_order (Ord_aux Ord_dec _)) _) -> IDec | _ -> extract_default_direction (Defs defs) end end (*TODO Contemplate making decode and execute environment variables instead of these constants*) |