From fc46db8c7f98dd51020ef765c98e12d1e450b5e6 Mon Sep 17 00:00:00 2001 From: hallgren Date: Fri, 5 Dec 2014 12:42:17 +0000 Subject: Eliminate the record extension operator from the Value type returned by the partial evaluator MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 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. --- src/compiler/GF/Compile/Compute/Value.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/compiler/GF/Compile/Compute/Value.hs') 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) -- cgit v1.2.3