Change 'abstract' rule for records
Still have access to field names, but not constructor name
commita777c93c3ffd65f1f665bb0636bbb8ece8e53902
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateThu 15 Nov 2012, 12:53 (14 years ago)
parent44dd3be
src/Idris/Parser.hs+1−1
@@ -1116,7 +1116,7 @@ pRecord syn = do acc <- pAccessibility
11161116 let rsyn = syn { syn_namespace = show (nsroot tyn) :
11171117 syn_namespace syn }
11181118 let fns = getRecNames rsyn cty
1119− mapM_ (\n -> addAcc n (toFreeze acc)) fns
1119+ mapM_ (\n -> addAcc n acc) fns
11201120 return $ PRecord "" rsyn fc tyn ty cdoc cn cty
11211121 where
11221122 getRecNames syn (PPi _ n _ sc) = [expandNS syn n, expandNS syn (mkSet n)]