Issue using StrictData

[Andrés Sicard-Ramírez]

Hi,

On 19 March 2016 at 21:46, Reid Barton <rwbarton at gmail.com> wrote:
> `extensions: StrictData` turns on the StrictData extension for all modules
> in the program. So every field of every data type defined in every module is
> made strict.

I was aware of it.

> Is that really what you wanted?

No really. I added the extension just out curiosity.

> For a large, complicated
> program like Agda, It seems about as likely to work as just passing the
> program into an ML compiler unmodified. Your errors are a typical example:
> note they are runtime errors from a generated happy parser, which probably
> does something like initializing a record with (error "Internal Happy
> error") and then trying to update it with record update syntax.

Thanks you for the explanation.

Best,

-- 
Andrés