[Agda-dev] build error on master

Nils Anders Danielsson nad at cse.gu.se
Wed Mar 7 10:07:03 CET 2018

Previous message (by thread): [Agda-dev] build error on master
Next message (by thread): [Agda-dev] build error on master
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On 2018-03-06 17:36, John Leo wrote:
> [329 of 333] Compiling Agda.Interaction.InteractionTop (
> src/full/Agda/Interaction/InteractionTop.hs,
> dist/build/Agda/Interaction/InteractionTop.p_o )

Note that you were building Agda with profiling turned on (".p_o").

-- 
/NAD

Previous message (by thread): [Agda-dev] build error on master
Next message (by thread): [Agda-dev] build error on master
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda-dev mailing list