diff options
author | Tavian Barnes <tavianator@gmail.com> | 2010-11-19 14:00:11 -0500 |
---|---|---|
committer | Tavian Barnes <tavianator@gmail.com> | 2010-11-19 14:07:42 -0500 |
commit | 4899481ed7179d9c1c8e43b7b366b012d9b86218 (patch) | |
tree | 0301b4cdb86da07fa46b376e855a483c196c0302 /dimension/grammar.rules | |
parent | e220611617c71d9bbb142fb88a85d7c4c41b6b07 (diff) | |
download | dimension-4899481ed7179d9c1c8e43b7b366b012d9b86218.tar.xz |
Parse max_intersections.
Diffstat (limited to 'dimension/grammar.rules')
-rw-r--r-- | dimension/grammar.rules | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/dimension/grammar.rules b/dimension/grammar.rules index 0963a1e..6c936aa 100644 --- a/dimension/grammar.rules +++ b/dimension/grammar.rules @@ -61,8 +61,15 @@ GLOBAL_SETTINGS_ITEM: "assumed_gamma" FLOAT { $$ = dmnsn_new_astnode1(DMNSN_AST_ASSUMED_GAMMA, @$, $2); } | "max_trace_level" INT { - $$ = dmnsn_new_astnode1(DMNSN_AST_MAX_TRACE_LEVEL, - @$, $2); + $$ = dmnsn_new_astnode1(DMNSN_AST_MAX_TRACE_LEVEL, @$, + $2); + } + | "max_intersections" INT { + dmnsn_diagnostic(@1, + "WARNING: max_intersections is" + " unnecessary for Dimension"); + $$ = dmnsn_new_astnode1(DMNSN_AST_MAX_INTERSECTIONS, @$, + $2); } ; |