GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-23 19:42:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

instance Eq Expr in the Haskell binding

Browse Source
This commit is contained in:
Krasimir Angelov
2017-09-04 14:49:44 +02:00
parent da091824a3
commit 71c4b4a246
3 changed files with 9 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/runtime/c/pgf/expr.c
View File

@@ -1037,7 +1037,7 @@ pgf_literal_eq(PgfLiteral lit1, PgfLiteral lit2)
return false; return false;
} }
PGF_API bool PGF_API int
pgf_expr_eq(PgfExpr e1, PgfExpr e2) pgf_expr_eq(PgfExpr e1, PgfExpr e2)
{ {
GuVariantInfo ei1 = gu_variant_open(e1); GuVariantInfo ei1 = gu_variant_open(e1);

2
src/runtime/c/pgf/expr.h
View File

@@ -185,7 +185,7 @@ pgf_read_type(GuIn* in, GuPool* pool, GuExn* err);
PGF_API_DECL bool PGF_API_DECL bool
pgf_literal_eq(PgfLiteral lit1, PgfLiteral lit2); pgf_literal_eq(PgfLiteral lit1, PgfLiteral lit2);
PGF_API_DECL bool PGF_API_DECL int
pgf_expr_eq(PgfExpr e1, PgfExpr e2); pgf_expr_eq(PgfExpr e1, PgfExpr e2);
PGF_API_DECL bool PGF_API_DECL bool

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

@@ -34,6 +34,13 @@ data Expr = Expr {expr :: PgfExpr, touchExpr :: Touch}
instance Show Expr where instance Show Expr where
show = showExpr [] show = showExpr []
instance Eq Expr where
(Expr e1 e1_touch) == (Expr e2 e2_touch) =
unsafePerformIO $ do
res <- pgf_expr_eq e1 e2
e1_touch >> e2_touch
return (res /= 0)
-- | Constructs an expression by lambda abstraction -- | Constructs an expression by lambda abstraction
mkAbs :: BindType -> CId -> Expr -> Expr mkAbs :: BindType -> CId -> Expr -> Expr
mkAbs bind_type var (Expr body bodyTouch) = mkAbs bind_type var (Expr body bodyTouch) =