diff options
| author | hallgren <hallgren@chalmers.se> | 2015-08-20 15:55:24 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2015-08-20 15:55:24 +0000 |
| commit | 330d42296c6441f09b02e19c22d5d618da821814 (patch) | |
| tree | 702f042512d8671354ec8610ebcd0d8d88cc9f7f /src/compiler/GF/Command | |
| parent | 2f9704a6245e421244edf78885e6c58bb861245d (diff) | |
PGF2: export BindType(..) and two new functions: showType & categories
showType :: Type -> String
categories :: PGF -> [Cat]
But both are implemented as quick hacks: categories is implemented by listing
all functions and taking the target categories from their types. showType uses
ppType copied & modified from PGF.Type, and needs a ppExpr, which is currently
implemented by wrapping showExpr...
TODO: need something correpsonding to PGF.categoryContext.
Diffstat (limited to 'src/compiler/GF/Command')
0 files changed, 0 insertions, 0 deletions