Multiplicity annotation on records
Showing
- compiler/GHC/Hs/Type.hs 26 additions, 14 deletionscompiler/GHC/Hs/Type.hs
- compiler/GHC/Hs/Utils.hs 1 addition, 1 deletioncompiler/GHC/Hs/Utils.hs
- compiler/GHC/HsToCore/Quote.hs 6 additions, 7 deletionscompiler/GHC/HsToCore/Quote.hs
- compiler/GHC/Iface/Ext/Ast.hs 1 addition, 1 deletioncompiler/GHC/Iface/Ext/Ast.hs
- compiler/GHC/Parser.y 10 additions, 5 deletionscompiler/GHC/Parser.y
- compiler/GHC/Parser/PostProcess.hs 6 additions, 2 deletionscompiler/GHC/Parser/PostProcess.hs
- compiler/GHC/Rename/HsType.hs 16 additions, 8 deletionscompiler/GHC/Rename/HsType.hs
- compiler/GHC/Rename/Pat.hs 1 addition, 1 deletioncompiler/GHC/Rename/Pat.hs
- compiler/GHC/Tc/Gen/App.hs 1 addition, 1 deletioncompiler/GHC/Tc/Gen/App.hs
- compiler/GHC/Tc/Gen/HsType.hs 1 addition, 1 deletioncompiler/GHC/Tc/Gen/HsType.hs
- compiler/GHC/Tc/Gen/Sig.hs 1 addition, 1 deletioncompiler/GHC/Tc/Gen/Sig.hs
- compiler/GHC/Tc/TyCl.hs 8 additions, 8 deletionscompiler/GHC/Tc/TyCl.hs
- compiler/GHC/ThToHs.hs 3 additions, 3 deletionscompiler/GHC/ThToHs.hs
- compiler/Language/Haskell/Syntax/Type.hs 15 additions, 7 deletionscompiler/Language/Haskell/Syntax/Type.hs
- testsuite/tests/linear/should_compile/NonLinearRecord.hs 15 additions, 0 deletionstestsuite/tests/linear/should_compile/NonLinearRecord.hs
- testsuite/tests/linear/should_compile/all.T 1 addition, 0 deletionstestsuite/tests/linear/should_compile/all.T
- testsuite/tests/linear/should_fail/LinearRecFieldMany.hs 9 additions, 0 deletionstestsuite/tests/linear/should_fail/LinearRecFieldMany.hs
- testsuite/tests/linear/should_fail/LinearRecFieldMany.stderr 6 additions, 0 deletionstestsuite/tests/linear/should_fail/LinearRecFieldMany.stderr
- testsuite/tests/linear/should_fail/all.T 1 addition, 0 deletionstestsuite/tests/linear/should_fail/all.T
- utils/check-exact/ExactPrint.hs 4 additions, 0 deletionsutils/check-exact/ExactPrint.hs
Loading
Please register or sign in to comment