diff options
| author |  Nickolai Zeldovich <nickolai@csail.mit.edu> | 2015-04-04 10:42:18 -0400 |
|---|---|---|
| committer |  Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2015-04-08 12:00:24 +0200 |
| commit | c595d5cc3105b0bec4faa0a5ed7e1c37de0c5e2c (patch) | |
| tree | 33d637a3281a98fc25384bd7ff8658fc2b7e489d /theories/Sets/Cpo.v | |
| parent | dfe516d1147d43691a7984af5484d573e42c4e04 (diff) | |
Fix specialized extraction of ascii characters into Haskell. (Fix bug #4181)
The extraction machinery has specialized support for extracting [ascii]
characters into native characters in the target language, as opposed
to using an explicit constructor from 8 boolean bits. This works by
hard-coding the name of the character type in the target language.
Unfortunately, the hard-coded type for Haskell was "Char", not the
fully-qualified "Prelude.Char". As a result, it was impossible to
extract characters into Haskell without getting type errors about "Char".
This patch changes this hard-coded name to "Prelude.Char".
Diffstat (limited to 'theories/Sets/Cpo.v')
0 files changed, 0 insertions, 0 deletions