From d0c75667910bfe5e2ee3f8434d7079f2c1bed65c Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Fri, 10 Oct 2003 11:35:52 +0000
Subject: Added clipboard.

---
 src/GF/UseGrammar/Editing.hs | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'src/GF/UseGrammar/Editing.hs')

diff --git a/src/GF/UseGrammar/Editing.hs b/src/GF/UseGrammar/Editing.hs
index cd9fec9a4..3c3567394 100644
--- a/src/GF/UseGrammar/Editing.hs
+++ b/src/GF/UseGrammar/Editing.hs
@@ -375,3 +375,11 @@ possibleRefVal gr state val typ = errVal True $ do --- was False
   cs   <- return [(val, vClos vtyp)] --- eqVal gen val (vClos vtyp) --- only poss cs
   return $ possibleConstraints gr cs --- a simple heuristic
 
+possibleTreeVal :: CGrammar -> State -> Tree -> Bool
+possibleTreeVal gr state tree = errVal True $ do --- was False
+  let aval = actVal state
+  let gval = valTree tree
+  let gen = actGen state
+  cs  <- return [(aval, gval)] --- eqVal gen val (vClos vtyp) --- only poss cs
+  return $ possibleConstraints gr cs --- a simple heuristic
+
-- 
cgit v1.2.3