From 83283b0d6a1e714def620a2ad2a7166c6c3a0147 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Mon, 9 Sep 2013 14:29:57 +0000
Subject: Fix an old name shadowing bug in concrete syntax by removing the
 refresh pass

The refresh pass does not correctly keep track of the scope of local variables
and can convert things like \x->(\x->x) x into \x1->(\x2->x2) x2. Fortunately,
it appears that the refresh pass is not needed anymore, so it has been removed.
---
 gf.cabal | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'gf.cabal')

diff --git a/gf.cabal b/gf.cabal
index 74c8a3c38..cec15550b 100644
--- a/gf.cabal
+++ b/gf.cabal
@@ -184,7 +184,7 @@ executable gf
     GF.Grammar.Binary
     GF.Compile.Update
     GF.Compile.CheckGrammar
-    GF.Compile.Refresh
+--  GF.Compile.Refresh
     GF.Compile.Rename
     GF.Compile.ReadFiles
     GF.Compile.GrammarToPGF
-- 
cgit v1.2.3