From b7b7a7c91cc861440dd541b5f4e9eb5b409bcce0 Mon Sep 17 00:00:00 2001
From: Krasimir Angelov <kr.angelov@gmail.com>
Date: Tue, 29 Aug 2017 18:44:50 +0200
Subject: the embedded grammars now work with both the pure Haskell and the
 Haskell binding API

---
 src/runtime/haskell/PGF.hs      | 1 +
 src/runtime/haskell/PGF/Expr.hs | 4 ++++
 2 files changed, 5 insertions(+)

(limited to 'src/runtime/haskell')

diff --git a/src/runtime/haskell/PGF.hs b/src/runtime/haskell/PGF.hs
index 8eb215f9d..42519fb63 100644
--- a/src/runtime/haskell/PGF.hs
+++ b/src/runtime/haskell/PGF.hs
@@ -51,6 +51,7 @@ module PGF(
            mkStr,    unStr,
            mkInt,    unInt,
            mkDouble, unDouble,
+           mkFloat,  unFloat,
            mkMeta,   unMeta,
            -- extra
            pExpr,
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
-- 
cgit v1.2.3