From 69aa3248d2ea878ef45e9e8c177381730d949c32 Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 13 Aug 2004 13:21:46 +0000 Subject: unique ref --- src/GF/UseGrammar/Editing.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/GF/UseGrammar/Editing.hs') 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 -- cgit v1.2.3