diff options
| author | krasimir <krasimir@chalmers.se> | 2008-10-20 07:52:14 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2008-10-20 07:52:14 +0000 |
| commit | abe8da32fd5c3d0d69695bb89ca53be57f7166cc (patch) | |
| tree | 48154cb2c97503e000638ac65f2f77c63e9e3928 /src/PGF.hs | |
| parent | 418856d9bfe23944528ba3d41710be0dbfab8d27 (diff) | |
add parser and pretty printer for types
Diffstat (limited to 'src/PGF.hs')
| -rw-r--r-- | src/PGF.hs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/PGF.hs b/src/PGF.hs index dc777f4d5..e93b1dcb0 100644 --- a/src/PGF.hs +++ b/src/PGF.hs @@ -26,6 +26,10 @@ module PGF( -- ** Category Category, categories, startCat, + + -- * Types + Type(..), + showType, readType, -- * Expressions -- ** Tree @@ -64,6 +68,7 @@ import PGF.Paraphrase import PGF.Macros import PGF.Data import PGF.Expr +import PGF.Type import PGF.Raw.Convert import PGF.Raw.Parse import PGF.Raw.Print (printTree) |