mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 04:59:31 -06:00
remove PGF2.Type
This commit is contained in:
@@ -1,3 +0,0 @@
|
||||
#include <pgf/pgf.h>
|
||||
|
||||
module PGF2.Type where
|
||||
@@ -28,8 +28,7 @@ library
|
||||
PGF
|
||||
other-modules:
|
||||
PGF2.FFI,
|
||||
PGF2.Expr,
|
||||
PGF2.Type
|
||||
PGF2.Expr
|
||||
build-depends:
|
||||
integer-gmp,
|
||||
ghc-prim,
|
||||
|
||||
Reference in New Issue
Block a user