Update details for ForAllTy and ForAllCo in core-spec, as they
can now quantify over coercion variables.
- rGHC Glasgow Haskell Compiler
Unit Tests Skipped
- Build Status
Buildable 23172 Build 54896: [GHC] Linux/amd64: Continuous Integration Build 54895: [GHC] OSX/amd64: Continuous Integration Build 54894: [GHC] Windows/amd64: Continuous Integration Build 54893: arc lint + arc unit
I think the original Makefile got this right: the mng file is the one with the [[ and ]] marks, which then produces a tex file. I double-checked in the ott manual about this, and the manual (IIUC) agrees with the original usage here.
Is that the right Note?
Ok, I see. I will revert the renaming. My apologies.
Yes, it's "the last wrinkle..." in this note.