Issue using StrictData
asr at eafit.edu.co
Sun Mar 20 02:52:20 UTC 2016
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.
More information about the ghc-devs