diff options
Diffstat (limited to 'src/GF/UseGrammar/Editing.hs')
| -rw-r--r-- | src/GF/UseGrammar/Editing.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/GF/UseGrammar/Editing.hs b/src/GF/UseGrammar/Editing.hs index b740d6d08..45e180b0d 100644 --- a/src/GF/UseGrammar/Editing.hs +++ b/src/GF/UseGrammar/Editing.hs @@ -232,6 +232,7 @@ contextRefinements gr = refineAllNodes contextRefine where uniqueRefine :: CGrammar -> Action uniqueRefine gr state = case refinementsState gr state of + [(e,(_,True))] -> Bad "only circular refinement" [(e,_)] -> refineWithAtom False gr e state _ -> Bad "no unique refinement" @@ -347,7 +348,7 @@ solveAll gr st0 = do -- active refinements -refinementsState :: CGrammar -> State -> [(Term,Val)] +refinementsState :: CGrammar -> State -> [(Term,(Val,Bool))] refinementsState gr state = let filt = possibleRefVal gr state in if actIsMeta state |