Fix specialized extraction of ascii characters into Haskell. (Fix bug #4181)
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".

letouzey/coq-wip,maximedenes/coq,amintimany/coq,barras/coq,Zimmi48/coq,mattam82/coq,coq/coq,amintimany/coq,JasonGross/coq,ale-f/coq,SkySkimmer/coq,jpdeplaix/coq,william-lawvere/coq,Matafou/coq,Lionel-Rieg/coq,JasonGross/coq,Ptival/coq,silene/coq,herbelin/github-coq,herbelin/github-coq,barras/coq,asr/coq,silene/coq,jpdeplaix/coq,TheTypoMaster/coq,coq/coq,mlasson/coq,TOSPIO/coq,JasonGross/coq,letouzey/coq-wip,Matafou/coq,barras/coq,coq/coq,gares/coq,8l/coq,ppedrot/coq,JasonGross/coq,silene/coq,SkySkimmer/coq,maximedenes/coq,maximedenes/coq,TheTypoMaster/coq,gmalecha/coq,amintimany/coq,ale-f/coq,asr/coq,gmalecha/coq,letouzey/coq-wip,ppedrot/coq,ejgallego/coq,ejgallego/coq,ejgallego/coq,mattam82/coq,SkySkimmer/coq,TOSPIO/coq,mlasson/coq,gares/coq,mattam82/coq,gares/coq,gmalecha/coq,Lionel-Rieg/coq,letouzey/coq-wip,gares/coq,Zimmi48/coq,asr/coq,TheTypoMaster/coq,TOSPIO/coq,william-lawvere/coq,Ptival/coq,maximedenes/coq,maximedenes/coq,Ptival/coq,jpdeplaix/coq,ppedrot/coq,ppedrot/coq,coq/coq,8l/coq,SkySkimmer/coq,Matafou/coq,Zimmi48/coq,herbelin/github-coq,letouzey/coq-wip,Lionel-Rieg/coq,gares/coq,william-lawvere/coq,8l/coq,mlasson/coq,Zimmi48/coq,ppedrot/coq,ale-f/coq,ejgallego/coq