Discussion:
Bug caused by new forcing translation
(too old to reply)
stvienna wiener
2018-03-05 07:23:12 UTC
Permalink
Hi all,

My formalization doesn't work because of the open bug:
https://github.com/agda/agda/issues/2888

(Location of the error: Forcing.hs:230)


Is there a work around so that I can keep on working?
What agda commit should I revert to? (I.e., in which commit was the
new forcing translation introduced?)

Best,
Stephan
Ulf Norell
2018-03-05 08:02:15 UTC
Permalink
You can revert to b8eb5098, which is when the code was added, but before it
was actually run.

/ Ulf
Post by stvienna wiener
Hi all,
https://github.com/agda/agda/issues/2888
(Location of the error: Forcing.hs:230)
Is there a work around so that I can keep on working?
What agda commit should I revert to? (I.e., in which commit was the
new forcing translation introduced?)
Best,
Stephan
Loading...