msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

added the concreteName function in the Haskell binding

Browse Source
This commit is contained in:
Krasimir Angelov
2017-08-30 15:43:09 +02:00
parent 19613a76ab
commit 97fe5df267
1 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
src/runtime/haskell-bind/PGF2.hsc
View File

@@ -51,7 +51,7 @@ module PGF2 (-- * PGF
compute, compute,
-- * Concrete syntax -- * Concrete syntax
ConcName,Concr,languages, ConcName,Concr,languages,concreteName,
-- ** Linearization -- ** Linearization
linearize,linearizeAll,tabularLinearize,bracketedLinearize, linearize,linearizeAll,tabularLinearize,bracketedLinearize,
FId, LIndex, BracketedString(..), showBracketedString, flattenBracketedString, FId, LIndex, BracketedString(..), showBracketedString, flattenBracketedString,
@@ -150,6 +150,11 @@ languages p =
concr <- fmap (\ptr -> Concr ptr (touchPGF p)) $ peek (castPtr value) concr <- fmap (\ptr -> Concr ptr (touchPGF p)) $ peek (castPtr value)
writeIORef ref $! Map.insert name concr langs writeIORef ref $! Map.insert name concr langs
-- | The abstract language name is the name of the top-level
-- abstract module
concreteName :: Concr -> ConcName
concreteName c = unsafePerformIO (peekUtf8CString =<< pgf_concrete_name (concr c))
-- | Generates an exhaustive possibly infinite list of -- | Generates an exhaustive possibly infinite list of
-- all abstract syntax expressions of the given type. -- all abstract syntax expressions of the given type.
-- The expressions are ordered by their probability. -- The expressions are ordered by their probability.