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

[Nils Anders Danielsson]

On 03/02/2019 01.00, Guillaume Allais wrote:
> My bad. The CI worked, including the stdlib-based tests (?!) so I assumed
> everything was OK.

I guess there are two issues to consider:

* Agda's test suite does not automatically track the standard library's
   experimental branch. The standard library submodule is updated
   manually.

* The standard library's master branch is not always merged into the
   experimental branch.

-- 
/NAD