[Agda-dev] COMPILE pragma not allowed in safe mode.

[John Leo]

Okay, thanks. I'd been using master of both together for a long time and
didn't realize the instructions had changed.

It's a bit confusing, though--it would be better to have the two master
branches try to stay in sync, and similarly have other labeled branches of
the two stay in sync. Experimental sounds to me like something that would
go instead with the adga future branch, or else be for other experimental
independent work.

John

On Mon, Feb 4, 2019 at 6:28 AM Nils Anders Danielsson <nad at cse.gu.se> wrote:

> On 02/02/2019 21.50, John Leo wrote:
> > Also I've been pulling latest agda-stdlib from the master branch to go
> > with agda from the master branch. Are you saying I should be using
> > experimental stdlib with master agda?
>
> At least that's what the standard library's README says.
>
> --
> /NAD
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.chalmers.se/mailman/private/agda-dev/attachments/20190204/7488f1e0/attachment.html>