diff options
| author | Aarne Ranta <aarne@chalmers.se> | 2022-10-04 11:06:56 +0200 |
|---|---|---|
| committer | Aarne Ranta <aarne@chalmers.se> | 2022-10-04 11:06:56 +0200 |
| commit | 223f92d4f67bc4a168409b20e019b0ec6ad4b904 (patch) | |
| tree | 1ef41ae0555b41907a1eeabc524c83ab833d0207 /src/compiler/GF/Grammar/Parser.y | |
| parent | 83483b93bac1dd63bc2d8c52341aa0a8bfbb267e (diff) | |
using an unparsable variable name in the internal desugaring of table extension to avoid captures; captures with iterated table extensions might still be possible, which needs further analysis
Diffstat (limited to 'src/compiler/GF/Grammar/Parser.y')
| -rw-r--r-- | src/compiler/GF/Grammar/Parser.y | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/GF/Grammar/Parser.y b/src/compiler/GF/Grammar/Parser.y index 7837ec015..85b081cd7 100644 --- a/src/compiler/GF/Grammar/Parser.y +++ b/src/compiler/GF/Grammar/Parser.y @@ -430,7 +430,7 @@ Exp3 RecType xs -> RecType (xs ++ [(tupleLabel (length xs+1),$3)]) t -> RecType [(tupleLabel 1,$1), (tupleLabel 2,$3)] } | Exp3 '**' Exp4 { ExtR $1 $3 } - | Exp3 '**' '{' ListCase '}' { let v = identS "vvv" in T TRaw ($4 ++ [(PV v, S $1 (Vr v))]) } + | Exp3 '**' '{' ListCase '}' { let v = identS "$vvv" in T TRaw ($4 ++ [(PV v, S $1 (Vr v))]) } | Exp4 { $1 } Exp4 :: { Term } |