git.iko.soy/Idris-dev
on master help sign in
Change 'abstract' rule for records
a777c93Edwin Brady
src/Idris/Parser.hs+1−1
compare with master
unifiedsplit
@@ -1116,7 +1116,7 @@ pRecord syn = do acc <- pAccessibility
1116 let rsyn = syn { syn_namespace = show (nsroot tyn) :
1116 let rsyn = syn { syn_namespace = show (nsroot tyn) :
1117 syn_namespace syn }
1117 syn_namespace syn }
1118 let fns = getRecNames rsyn cty
1118 let fns = getRecNames rsyn cty
1119− mapM_ (\n -> addAcc n (toFreeze acc)) fns
1119+ mapM_ (\n -> addAcc n acc) fns
1120 return $ PRecord "" rsyn fc tyn ty cdoc cn cty
1120 return $ PRecord "" rsyn fc tyn ty cdoc cn cty
1121 where
1121 where
1122 getRecNames syn (PPi _ n _ sc) = [expandNS syn n, expandNS syn (mkSet n)]
1122 getRecNames syn (PPi _ n _ sc) = [expandNS syn n, expandNS syn (mkSet n)]