diff options
| author | aarne <unknown> | 2003-10-10 11:35:52 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2003-10-10 11:35:52 +0000 |
| commit | d0c75667910bfe5e2ee3f8434d7079f2c1bed65c (patch) | |
| tree | 53c0702bbb1b26e99fa68b7652d2cf3721f9fac8 /src/GF/UseGrammar/Editing.hs | |
| parent | ce253baf15f9df5e95d0402ccddf5cc25c0736c0 (diff) | |
Added clipboard.
Diffstat (limited to 'src/GF/UseGrammar/Editing.hs')
| -rw-r--r-- | src/GF/UseGrammar/Editing.hs | 8 |
1 files changed, 8 insertions, 0 deletions
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 + |