fix: PGFService should type-check the trees that comes from the user

2026-04-20 02:09:32 -06:00 · 2010-07-31 10:45:59 +00:00
parent e2d0c82f0c
commit fefd78222a
2 changed files with 13 additions and 4 deletions
--- a/src/server/gf-server.cabal
+++ b/src/server/gf-server.cabal
@@ -18,7 +18,8 @@ executable pgf-server
                 fastcgi >= 3001.0.2.2,
                 json >= 0.3.3,
                 utf8-string >= 0.3.1.1,
-                 bytestring
+                 bytestring,
+                 pretty
  if !os(windows)
    build-depends: unix
  main-is: PGFService.hs