Feed All Stories

Sat, Dec 7

bgamari committed rGHC486393db7c52: Fix testsuite (authored by bgamari).
Fix testsuite
Sat, Dec 7, 6:38 PM
bgamari committed rGHCb911c53237b2: Implement pointer tagging for big families (#14373) (authored by ggreif).
Implement pointer tagging for big families (#14373)
Sat, Dec 7, 2:13 PM
bgamari committed rGHCda04db1a2002: Fix compacting GC bug when chaining tagged and non-tagged fields together (authored by osa1).
Fix compacting GC bug when chaining tagged and non-tagged fields together
Sat, Dec 7, 2:13 PM
bgamari committed rGHC99e1816a07d0: gitlab-ci: Add Debian 10 builds (authored by bgamari).
gitlab-ci: Add Debian 10 builds
Sat, Dec 7, 2:13 PM
bgamari committed rGHC13dab275cd33: gitlab-ci: Consolidate release build configuration (authored by bgamari).
gitlab-ci: Consolidate release build configuration
Sat, Dec 7, 2:13 PM
bgamari committed rGHC113bf129c81d: gitlab-ci: Set LANG on CentOS 7 (authored by bgamari).
gitlab-ci: Set LANG on CentOS 7
Sat, Dec 7, 2:13 PM
bgamari committed rGHC61820b248af5: gitlab-ci: pxz is unavailable on CentOS 7 (authored by bgamari).
gitlab-ci: pxz is unavailable on CentOS 7
Sat, Dec 7, 2:13 PM
bgamari committed rGHC599a5916a302: Release notes fixes (authored by bgamari).
Release notes fixes
Sat, Dec 7, 2:13 PM
bgamari committed rGHCa41bd7ac8be5: gitlab-ci: Always build source tarball (authored by bgamari).
gitlab-ci: Always build source tarball
Sat, Dec 7, 2:13 PM
bgamari committed rGHC1a70568bd156: gitlab-ci: Add release-x86_64-linux-deb9 job (authored by bgamari).
gitlab-ci: Add release-x86_64-linux-deb9 job
Sat, Dec 7, 2:13 PM
bgamari committed rGHCf2ecf56df0b8: Fix StgCmmExpr (authored by bgamari).
Fix StgCmmExpr
Sat, Dec 7, 2:13 PM

Fri, Dec 6

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC0a4ca9eb152c: Split up coercionKind (authored by simonpj).
Split up coercionKind
Fri, Dec 6, 8:26 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCee07421fcf99: Work in progress on coercionLKind, coercionRKind (authored by simonpj).
Work in progress on coercionLKind, coercionRKind
Fri, Dec 6, 8:26 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC9897e8c8ef0b: Implement pointer tagging for big families (#14373) (authored by ggreif).
Implement pointer tagging for big families (#14373)
Fri, Dec 6, 8:21 PM
bgamari committed rGHC6f32ea31cdbc: base: Fix incorrect @since in GHC.Natural (authored by bgamari).
base: Fix incorrect @since in GHC.Natural
Fri, Dec 6, 3:01 PM
bgamari committed rGHC3fc9e5da29da: Implement pointer tagging for big families (#14373) (authored by ggreif).
Implement pointer tagging for big families (#14373)
Fri, Dec 6, 2:56 PM
bgamari committed rGHC53af10a7115d: Fix compacting GC bug when chaining tagged and non-tagged fields together (authored by osa1).
Fix compacting GC bug when chaining tagged and non-tagged fields together
Fri, Dec 6, 2:56 PM
bgamari committed rGHCbbb7b9e314b9: Refactor Compact.c: (authored by osa1).
Refactor Compact.c:
Fri, Dec 6, 2:56 PM
bgamari committed rGHC8e5504ab793f: testsuite: Add tests for #16893 (authored by bgamari).
testsuite: Add tests for #16893
Fri, Dec 6, 2:56 PM
bgamari committed rGHC33fe8e8ca247: Add 8.8.2 release notes (authored by bgamari).
Add 8.8.2 release notes
Fri, Dec 6, 2:56 PM
bgamari committed rGHCba46883082b9: Colorize changelog check (authored by bgamari).
Colorize changelog check
Fri, Dec 6, 2:56 PM
bgamari committed rGHC9ddb698d0d00: gitlab-ci: Move changelog linting logic to shell script (authored by bgamari).
gitlab-ci: Move changelog linting logic to shell script
Fri, Dec 6, 2:56 PM
bgamari committed rGHCec515f4cadd1: Bump array submodule to 0.5.4.0 tag (authored by bgamari).
Bump array submodule to 0.5.4.0 tag
Fri, Dec 6, 2:56 PM
bgamari committed rGHCaf6fa2a83465: Bump directory submodule (authored by bgamari).
Bump directory submodule
Fri, Dec 6, 2:56 PM
phadej committed rGHCafbe4b6ce40f: Advance Cabal to 3.0.1.0-rc1 tag (authored by phadej).
Advance Cabal to 3.0.1.0-rc1 tag
Fri, Dec 6, 11:56 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCa7a4efbff1ba: rts/NonMovingSweep: Fix locking of new mutable list allocation (authored by bgamari).
rts/NonMovingSweep: Fix locking of new mutable list allocation
Fri, Dec 6, 11:45 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC70dd0e4b7051: Parenthesize the * kind in TH.Ppr (authored by int-index).
Parenthesize the * kind in TH.Ppr
Fri, Dec 6, 11:45 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC3354c68ec6c9: Pretty-printing of the * kind (authored by int-index).
Pretty-printing of the * kind
Fri, Dec 6, 11:45 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCf171b3582d44: Fix typo in documentation of Base.hs. (authored by Matthias Braun <matthias.braun@liwest.at>).
Fix typo in documentation of Base.hs.
Fri, Dec 6, 11:45 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC92a52aaaf484: testsuite: Make performance metric summary more readable (authored by bgamari).
testsuite: Make performance metric summary more readable
Fri, Dec 6, 11:45 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCc4ca29c796fa: testsuite: Use colors more consistently (authored by bgamari).
testsuite: Use colors more consistently
Fri, Dec 6, 11:45 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC8280bd8ab7a2: testsuite: Factor out terminal coloring (authored by bgamari).
testsuite: Factor out terminal coloring
Fri, Dec 6, 11:45 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC58a9c4295b9f: testsuite: Disable divByZero on non-NCG targets (authored by bgamari).
testsuite: Disable divByZero on non-NCG targets
Fri, Dec 6, 11:45 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC69001f54279a: nonmoving: Clear segment bitmaps during sweep (authored by bgamari).
nonmoving: Clear segment bitmaps during sweep
Fri, Dec 6, 11:45 AM

Thu, Dec 5

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC8324f0b7357c: Test proxy-polymorphic sameNat and sameSymbol (authored by Bodigrim).
Test proxy-polymorphic sameNat and sameSymbol
Thu, Dec 5, 11:23 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC4e47217f85b2: Make sameNat and sameSymbol proxy-polymorphic (authored by Bodigrim).
Make sameNat and sameSymbol proxy-polymorphic
Thu, Dec 5, 11:23 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCa2b535d9ef88: users guide: Try to silence underfull \hbox warnings (authored by bgamari).
users guide: Try to silence underfull \hbox warnings
Thu, Dec 5, 11:23 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCe49e54705dee: Improve error messages for SCC pragmas (authored by int-index).
Improve error messages for SCC pragmas
Thu, Dec 5, 11:23 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC84585e5e7c5d: Meaning-preserving SCC annotations (#15730) (authored by int-index).
Meaning-preserving SCC annotations (#15730)
Thu, Dec 5, 11:23 PM

Tue, Dec 3

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCf03a41d4bf94: Elf: Fix link info note generation (authored by bgamari).
Elf: Fix link info note generation
Tue, Dec 3, 8:10 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC78b67ad0e891: Simplify uniqAway (authored by bgamari).
Simplify uniqAway
Tue, Dec 3, 8:10 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC25019d18109c: Drop Uniquable constraint for AnnTarget (authored by bgamari).
Drop Uniquable constraint for AnnTarget
Tue, Dec 3, 8:10 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC10caee7fd3f0: users-guide: Add 8.12.1 release notes (authored by bgamari).
users-guide: Add 8.12.1 release notes
Tue, Dec 3, 8:10 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC7a51b587ad6a: Add constant folding rule (#16402) (authored by hsyl20).
Add constant folding rule (#16402)
Tue, Dec 3, 6:17 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC35afe4f3b159: Use Int# primops in `Bits Int{8,16,32,64}` instances (authored by hsyl20).
Use Int# primops in `Bits Int{8,16,32,64}` instances
Tue, Dec 3, 6:17 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC705a16df0241: Make BCO# lifted (authored by bgamari).
Make BCO# lifted
Tue, Dec 3, 6:12 AM

Mon, Dec 2

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC5a4b8d0cf2ff: Document RTS behaviour upon encountering '--'. (authored by Athas <athas@sigkill.dk>).
Document RTS behaviour upon encountering '--'.
Mon, Dec 2, 11:05 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCfbbe18a274cd: Use the new timesInt2# primop in integer-gmp (#9431) (authored by hsyl20).
Use the new timesInt2# primop in integer-gmp (#9431)
Mon, Dec 2, 11:00 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC5f7cb423d770: Add `timesInt2#` primop (authored by hsyl20).
Add `timesInt2#` primop
Mon, Dec 2, 11:00 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC4cbd5b47a00a: configure.ac: make cross-compiler detection stricter (authored by trofi).
configure.ac: make cross-compiler detection stricter
Mon, Dec 2, 11:02 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCb1c206fd58a8: gitlab-ci: Always build source tarball (authored by bgamari).
gitlab-ci: Always build source tarball
Mon, Dec 2, 11:02 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC2b2370ec8229: gitlab-ci: Add release-x86_64-linux-deb9 job (authored by bgamari).
gitlab-ci: Add release-x86_64-linux-deb9 job
Mon, Dec 2, 11:02 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCa0f09e23dd19: testsuite: Simplify Python <3.5 fallback for TextIO (authored by bgamari).
testsuite: Simplify Python <3.5 fallback for TextIO
Mon, Dec 2, 11:02 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC012f13b5051f: gitlab-ci: Fix Windows bindist collection (authored by bgamari).
gitlab-ci: Fix Windows bindist collection
Mon, Dec 2, 11:02 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC38338757e085: gitlab-ci: Add Debian 10 builds (authored by bgamari).
gitlab-ci: Add Debian 10 builds
Mon, Dec 2, 11:02 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC6708b8e5b814: gitlab-ci: Set LANG on CentOS 7 (authored by bgamari).
gitlab-ci: Set LANG on CentOS 7
Mon, Dec 2, 11:02 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC470ef0e7d0d6: gitlab-ci: Consolidate release build configuration (authored by bgamari).
gitlab-ci: Consolidate release build configuration
Mon, Dec 2, 11:02 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCaec98a79a7cc: gitlab-ci: pxz is unavailable on CentOS 7 (authored by bgamari).
gitlab-ci: pxz is unavailable on CentOS 7
Mon, Dec 2, 11:02 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC37eb94b3b060: gitlab-ci: Bump Docker images (authored by bgamari).
gitlab-ci: Bump Docker images
Mon, Dec 2, 11:02 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCd402209ace97: gitlab-ci: Disable Sphinx build on Debian 8 (authored by bgamari).
gitlab-ci: Disable Sphinx build on Debian 8
Mon, Dec 2, 11:02 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCf1f688244d7a: base: Fix <unistd.h> #include (authored by bgamari).
base: Fix <unistd.h> #include
Mon, Dec 2, 11:02 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCc500f652470d: gitlab-ci: Fix changelog linting logic (authored by bgamari).
gitlab-ci: Fix changelog linting logic
Mon, Dec 2, 11:01 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC8ead967d48b4: win32-init: Drop workaround for #17480 (authored by bgamari).
win32-init: Drop workaround for #17480
Mon, Dec 2, 11:01 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC038bedbc8daa: Simplify: Fix pretty-printing of strictness (authored by bgamari).
Simplify: Fix pretty-printing of strictness
Mon, Dec 2, 11:01 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCbde48f8e5bad: More Haddock syntax in GHC.Hs.Utils (authored by bgamari).
More Haddock syntax in GHC.Hs.Utils
Mon, Dec 2, 10:56 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC717f32360985: Fix more typos (authored by Brian Wignall <brianwignall@gmail.com>).
Fix more typos
Mon, Dec 2, 2:47 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC18baed641fcc: API Annotations: Unicode '->' on HsForallTy (authored by alanz).
API Annotations: Unicode '->' on HsForallTy
Mon, Dec 2, 2:47 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC65400314244b: Convert warnings into assertions (authored by monoidal).
Convert warnings into assertions
Mon, Dec 2, 2:47 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC532514133481: testsuite: Don't override LD_LIBRARY_PATH, only prepend (authored by ghc-builders).
testsuite: Don't override LD_LIBRARY_PATH, only prepend
Mon, Dec 2, 2:47 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCbeed7c3e7c07: testsuite: Fix location of typing_stubs module (authored by bgamari).
testsuite: Fix location of typing_stubs module
Mon, Dec 2, 2:42 AM

Sun, Dec 1

Viktor Dukhovni <ietf-dane@dukhovni.org> committed rGHC273d802b4529: On FreeBSD 12 sys/sysctl.h requires sys/types.h (authored by Viktor Dukhovni <ietf-dane@dukhovni.org>).
On FreeBSD 12 sys/sysctl.h requires sys/types.h
Sun, Dec 1, 3:24 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC2b113fc957a3: Update DisambECP-related comments (authored by int-index).
Update DisambECP-related comments
Sun, Dec 1, 7:22 AM
RolandSenn committed rGHCf8cfe81aed55: Improve tests for #17171 (authored by RolandSenn).
Improve tests for #17171
Sun, Dec 1, 7:19 AM

Sat, Nov 30

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC3a96a0b6db6a: Simpler Semigroup instance for InsideLam and InterestingCtxt (authored by sgraf).
Simpler Semigroup instance for InsideLam and InterestingCtxt
Sat, Nov 30, 2:04 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCd1de5c227160: Use Hadrian by default in validate script (#17527) (authored by hsyl20).
Use Hadrian by default in validate script (#17527)
Sat, Nov 30, 2:04 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC5aba5d321833: Remove HasSrcSpan (#17494) (authored by int-index).
Remove HasSrcSpan (#17494)
Sat, Nov 30, 2:04 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC316f24319e15: Hadrian docs: Rename the second "validate" entry to "slow-validate" [ci skip] (authored by sgraf).
Hadrian docs: Rename the second "validate" entry to "slow-validate" [ci skip]
Sat, Nov 30, 1:58 AM

Fri, Nov 29

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCe921c90fec67: Improve few Foreign.Marshal.Utils docs (authored by osa1).
Improve few Foreign.Marshal.Utils docs
Fri, Nov 29, 7:31 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC7f695a20f5f9: Pass ModDetails with (partial) ModIface in HscStatus (authored by osa1).
Pass ModDetails with (partial) ModIface in HscStatus
Fri, Nov 29, 7:30 AM
int-index committed rGHC6985e0fc4f6f: Factor out HsSCC/HsCoreAnn/HsTickPragma into HsPragE (authored by int-index).
Factor out HsSCC/HsCoreAnn/HsTickPragma into HsPragE
Fri, Nov 29, 7:26 AM

Thu, Nov 28

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC3748ba3a01f8: Fix typos, using Wikipedia list of common typos (authored by Brian Wignall <brianwignall@gmail.com>).
Fix typos, using Wikipedia list of common typos
Thu, Nov 28, 2:00 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC6c59cc71dc20: Fix endian handling of LLVM backend (authored by Stefan Schulze Frielinghaus <stefansf@linux.ibm.com>).
Fix endian handling of LLVM backend
Thu, Nov 28, 2:00 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC5f84b52a9c43: Reduce boolean blindness in OccInfo(OneOcc) #17482 (authored by Philipp Krüger <matheus.dev@gmail.com>).
Reduce boolean blindness in OccInfo(OneOcc) #17482
Thu, Nov 28, 1:54 AM

Wed, Nov 27

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC9e5477c46bbc: Fix @since annotations for isResourceVanishedError and friends (#17488) (authored by RyanGlScott).
Fix @since annotations for isResourceVanishedError and friends (#17488)
Wed, Nov 27, 7:08 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCe122ba33e842: .gitmodules: tweak 'exception' URL to avoid redirection warnings (authored by trofi).
.gitmodules: tweak 'exception' URL to avoid redirection warnings
Wed, Nov 27, 7:08 PM
int-index committed rGHC8168b42a95dd: Whitespace-sensitive bang patterns (#1087, #17162) (authored by int-index).
Whitespace-sensitive bang patterns (#1087, #17162)
Wed, Nov 27, 7:01 PM

Tue, Nov 26

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC5a08f7d405bb: Make warnings for TH splices opt-in (authored by sgraf).
Make warnings for TH splices opt-in
Tue, Nov 26, 11:22 PM
monoidal committed rGHC8b8dc3665387: Remove prefix arrow support for GADTs (#17211) (authored by monoidal).
Remove prefix arrow support for GADTs (#17211)
Tue, Nov 26, 11:18 PM

Sun, Nov 24

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCb694b5662f8c: configure: Fix HAVE_C11_ATOMICS macro (authored by ghc-builders).
configure: Fix HAVE_C11_ATOMICS macro
Sun, Nov 24, 1:40 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC6008206a9e05: On FreeBSD 12 sys/sysctl.h requires sys/types.h (authored by Viktor Dukhovni <ietf-dane@dukhovni.org>).
On FreeBSD 12 sys/sysctl.h requires sys/types.h
Sun, Nov 24, 1:40 PM
Brian Wignall <brianwignall@gmail.com> committed rGHC7b4c7b75be35: Fix typos (authored by Brian Wignall <brianwignall@gmail.com>).
Fix typos
Sun, Nov 24, 1:34 PM

Sat, Nov 23

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCc14b723f7fa2: Bump exceptions submodule (authored by osa1).
Bump exceptions submodule
Sat, Nov 23, 6:04 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC5747ebe9bc9b: Stricten functions ins GHC.Natural (authored by sgraf).
Stricten functions ins GHC.Natural
Sat, Nov 23, 5:59 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCcb11fcb52ce8: Packages: Don't use expectJust (authored by bgamari).
Packages: Don't use expectJust
Sat, Nov 23, 5:59 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCe85c9b22e94c: Bump ghc version to 8.11 (authored by bgamari).
Bump ghc version to 8.11
Sat, Nov 23, 5:59 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC0e6c204570f7: rts: Consolidate spinlock implementation (authored by bgamari).
rts: Consolidate spinlock implementation
Sat, Nov 23, 5:59 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC15f1dc3316db: Prevent -optc arguments from being duplicated in reverse order (#17471) (authored by RyanGlScott).
Prevent -optc arguments from being duplicated in reverse order (#17471)
Sat, Nov 23, 5:59 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCe43e6ece1418: rts: Expose interface for configuring EventLogWriters (authored by bgamari).
rts: Expose interface for configuring EventLogWriters
Sat, Nov 23, 5:59 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC4a1e7e47f797: Make CorePrep.tryEtaReducePrep and CoreUtils.tryEtaReduce line up (authored by Matheus Magalhães de Alcantara <matheus.de.alcantara@gmail.com>).
Make CorePrep.tryEtaReducePrep and CoreUtils.tryEtaReduce line up
Sat, Nov 23, 5:59 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCde6bbdf27f18: Take care to not eta-reduce jumps in CorePrep (authored by Matheus Magalhães de Alcantara <matheus.de.alcantara@gmail.com>).
Take care to not eta-reduce jumps in CorePrep
Sat, Nov 23, 5:59 PM