From a29a8e4f60960122874c737d32e9d41a3575208b Mon Sep 17 00:00:00 2001 From: krasimir Date: Sun, 20 Sep 2009 10:28:27 +0000 Subject: rename MetaSymb in GF.Grammar.Grammar to MetaId to match the convention in PGF --- src/GF/Grammar/Binary.hs | 4 ---- 1 file changed, 4 deletions(-) (limited to 'src/GF/Grammar/Binary.hs') diff --git a/src/GF/Grammar/Binary.hs b/src/GF/Grammar/Binary.hs index 83f96c025..31e4ea222 100644 --- a/src/GF/Grammar/Binary.hs +++ b/src/GF/Grammar/Binary.hs @@ -254,10 +254,6 @@ instance Binary Label where 1 -> fmap LVar get _ -> decodingError -instance Binary MetaSymb where - put (MetaSymb m) = put m - get = fmap MetaSymb get - decodeModHeader :: FilePath -> IO SourceModule decodeModHeader fpath = do (m,mtype,mstatus,flags,extend,mwith,opens,med) <- decodeFile fpath -- cgit v1.2.3