fixed decodeUTF8 for pgf; removed old resources from darcs

2026-05-16 22:52:50 -06:00 · 2008-06-26 19:41:25 +00:00
parent 544fc47489
commit 9d909f32cf
1845 changed files with 4 additions and 468570 deletions
--- a/src/PGF.hs
+++ b/src/PGF.hs
@@ -172,7 +172,7 @@ startCat   :: PGF -> Category
 ---------------------------------------------------

 readPGF f = do
-  s <- readFile f
+  s <- readFile f >>= return . decodeUTF8 -- pgf is in UTF8, internal in unicode
  g <- parseGrammar s
  return $! toPGF g