diff options
| author | hallgren <hallgren@chalmers.se> | 2014-12-05 12:42:17 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2014-12-05 12:42:17 +0000 |
| commit | fc46db8c7f98dd51020ef765c98e12d1e450b5e6 (patch) | |
| tree | a369394df949725ff3777599f436d28891a7b814 /src/compiler/GF/Compile/Compute/Value.hs | |
| parent | f600cf35e8f0907bbad26f6f54f064e17053061b (diff) | |
Eliminate the record extension operator from the Value type returned by the partial evaluator
It was used only in cases where a lock field needed to be added to a
run-time variable, like e.g. in examples/phrasebook/SentencesTha.gf:
lin
PGreetingMale g = mkText (lin Text g) (lin Text (ss "ครับ")) | g ;
PGreetingFemale g = mkText (lin Text g) (lin Text (ss "ค่ะ")) | g ;
But lock fields are only meaningful during type checking and can safely be
ignored in later passes.
Diffstat (limited to 'src/compiler/GF/Compile/Compute/Value.hs')
| -rw-r--r-- | src/compiler/GF/Compile/Compute/Value.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/GF/Compile/Compute/Value.hs b/src/compiler/GF/Compile/Compute/Value.hs index 35f093ada..016c6572e 100644 --- a/src/compiler/GF/Compile/Compute/Value.hs +++ b/src/compiler/GF/Compile/Compute/Value.hs @@ -33,7 +33,7 @@ data Value | VAlts Value [(Value, Value)] | VStrs [Value] -- -- | VGlue Value Value -- hmm - | VExtR Value Value -- hmm +-- -- | VExtR Value Value -- hmm | VError String deriving (Eq,Show) |