diff options
| author | Krasimir Angelov <kr.angelov@gmail.com> | 2017-08-29 18:44:50 +0200 |
|---|---|---|
| committer | Krasimir Angelov <kr.angelov@gmail.com> | 2017-08-29 18:44:50 +0200 |
| commit | b7b7a7c91cc861440dd541b5f4e9eb5b409bcce0 (patch) | |
| tree | 352d48f11bea696fe257839f8f7dcf8e6b386fce /src/runtime/haskell/PGF | |
| parent | 62e5852669fc351d41d1c895822fd7e2cbddf803 (diff) | |
the embedded grammars now work with both the pure Haskell and the Haskell binding API
Diffstat (limited to 'src/runtime/haskell/PGF')
| -rw-r--r-- | src/runtime/haskell/PGF/Expr.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/runtime/haskell/PGF/Expr.hs b/src/runtime/haskell/PGF/Expr.hs index 27b0623ea..331a69d90 100644 --- a/src/runtime/haskell/PGF/Expr.hs +++ b/src/runtime/haskell/PGF/Expr.hs @@ -6,6 +6,7 @@ module PGF.Expr(Tree, BindType(..), Expr(..), Literal(..), Patt(..), Equation(.. mkStr, unStr,
mkInt, unInt,
mkDouble, unDouble,
+ mkFloat, unFloat,
mkMeta, unMeta,
normalForm,
@@ -154,6 +155,9 @@ unDouble (ETyped e ty) = unDouble e unDouble (EImplArg e) = unDouble e
unDouble _ = Nothing
+mkFloat = mkDouble
+unFloat = unDouble
+
-- | Constructs an expression which is meta variable
mkMeta :: Int -> Expr
mkMeta i = EMeta i
|