Andreas Abel
Andreas Abel
> I propose to simplify the deploy script and add a test for them with a set of instructions to use them in the manual. I should be able to...
Ok, then I think we have a setup: @L-TChen maintains the dists and @ice1000 can be beta-tester and advisor.
> Perhaps it is more consistent not to have this flag. Makes sense. Greetings from AIM XL in Budapest!
Yeah, these test should be upgraded to use `cabal v2` idioms.
Switching to `v2-cabal` and `write-ghc-environment-files: always` should fix these issues. E.g. after a `cabal build` with `write-ghc-environment-files: always` the following succeeds: ``` make AGDA_BIN=$(cabal list-bin agda) interaction ```
ATTN: @jespercockx
> If you see this as a release-blocker (as the label suggests) then my suggestion would be to revert my patch for now. Although this re-introduces an internal error, so...
Or convert the Makefile into a `Test.hs` runner like we have in `test/Succeed`...
The original issue for the `metaOccurs` check is #585 : - #585
Maybe this, or as a first step export ``` hyperlinkStartCode :: String {-URL-} -> String hyperlinkEndCode :: String ``` (and similar for the parametrized hyperlink version). Then `hyperlinkCode url txt...