diff options
| author | Björn Gustavsson <[email protected]> | 2015-01-27 07:49:12 +0100 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2015-01-27 07:57:18 +0100 |
| commit | 1fcdcd50e9dc09c78259434ae7ba189e6a47ced4 (patch) | |
| tree | c35c8f25f7f75d8d8b05e6d511b5fff48450d954 /lib/compiler/src/core_parse.yrl | |
| parent | 142da57a6790e879f0e593f97cf5a65459693c34 (diff) | |
| download | otp-1fcdcd50e9dc09c78259434ae7ba189e6a47ced4.tar.gz otp-1fcdcd50e9dc09c78259434ae7ba189e6a47ced4.tar.bz2 otp-1fcdcd50e9dc09c78259434ae7ba189e6a47ced4.zip | |
core_parse: Always fold literal conses
v3_core is careful to always create literals whenever possible.
Correct core_parse so it, too, always creates literals out
of literal conses. With that correction, we can remove the
workaround in sys_core_fold (introduced in 26a5dea3cb5e101)
that handles non-literal flags in a binary.
Diffstat (limited to 'lib/compiler/src/core_parse.yrl')
| -rw-r--r-- | lib/compiler/src/core_parse.yrl | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/compiler/src/core_parse.yrl b/lib/compiler/src/core_parse.yrl index 716c03bc94..849f801a11 100644 --- a/lib/compiler/src/core_parse.yrl +++ b/lib/compiler/src/core_parse.yrl @@ -193,12 +193,12 @@ map_pair_pattern -> '~' '<' anno_expression ',' anno_pattern '>' : #c_map_pair{op=#c_literal{val=exact},key='$3',val='$5'}. cons_pattern -> '[' anno_pattern tail_pattern : - #c_cons{hd='$2',tl='$3'}. + c_cons('$2', '$3'). tail_pattern -> ']' : #c_literal{val=[]}. tail_pattern -> '|' anno_pattern ']' : '$2'. tail_pattern -> ',' anno_pattern tail_pattern : - #c_cons{hd='$2',tl='$3'}. + c_cons('$2', '$3'). binary_pattern -> '#' '{' '}' '#' : #c_binary{segments=[]}. binary_pattern -> '#' '{' segment_patterns '}' '#' : #c_binary{segments='$3'}. @@ -206,7 +206,7 @@ binary_pattern -> '#' '{' segment_patterns '}' '#' : #c_binary{segments='$3'}. segment_patterns -> segment_pattern ',' segment_patterns : ['$1' | '$3']. segment_patterns -> segment_pattern : ['$1']. -segment_pattern -> '#' '<' anno_pattern '>' '(' anno_patterns ')': +segment_pattern -> '#' '<' anno_pattern '>' '(' anno_expressions ')': case '$6' of [S,U,T,Fs] -> #c_bitstr{val='$3',size=S,unit=U,type=T,flags=Fs}; @@ -279,7 +279,7 @@ cons_literal -> '[' literal tail_literal : c_cons('$2', '$3'). tail_literal -> ']' : #c_literal{val=[]}. tail_literal -> '|' literal ']' : '$2'. -tail_literal -> ',' literal tail_literal : #c_cons{hd='$2',tl='$3'}. +tail_literal -> ',' literal tail_literal : c_cons('$2', '$3'). tuple -> '{' '}' : c_tuple([]). tuple -> '{' anno_expressions '}' : c_tuple('$2'). |