on master help sign in
Fix %freeze when names are ambiguous

Fixes #3077

commita2dc0f2cc46fac60912419f1f3be5cdfa5b6cae3 authorEdwin Brady <ecb10@st-andrews.ac.uk> dateThu 31 Mar 2016, 20:06 (11 years ago) parent7daba78
1 file changed+4−5
src/Idris/Directives.hs+4−5
src/Idris/Directives.hs+4−5
@@ -29,13 +29,12 @@ directiveAction (DFlag cgn flag) = do
2929directiveAction (DInclude cgn hdr) = do addHdr cgn hdr
3030 addIBC (IBCHeader cgn hdr)
3131
32−directiveAction (DHide n') = do i <- getIState
33− ns <- allNamespaces n'
32+directiveAction (DHide n') = do ns <- allNamespaces n'
3433 mapM_ (\n -> do setAccessibility n Hidden
3534 addIBC (IBCAccess n Hidden)) ns
36−
37−directiveAction (DFreeze n) = do setAccessibility n Frozen
38− addIBC (IBCAccess n Frozen)
35+directiveAction (DFreeze n') = do ns <- allNamespaces n'
36+ mapM_ (\n -> do setAccessibility n Frozen
37+ addIBC (IBCAccess n Frozen)) ns
3938
4039directiveAction (DAccess acc) = do updateIState (\i -> i { default_access = acc })
4140