mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-25 10:48:54 -06:00
Remove "Warning: default encoding has changed from Latin-1 to UTF-8"
The warning is about a change that was made in GF 3.6 (June 2014) and has probably outlived its purpose by now.
This commit is contained in:
@@ -52,9 +52,11 @@ getSourceModule opts file0 =
|
|||||||
let mi =mi0 {mflags=mflags mi0 `addOptions` opts, msrc=file0}
|
let mi =mi0 {mflags=mflags mi0 `addOptions` opts, msrc=file0}
|
||||||
optCoding' = renameEncoding `fmap` flag optEncoding (mflags mi0)
|
optCoding' = renameEncoding `fmap` flag optEncoding (mflags mi0)
|
||||||
case (optCoding,optCoding') of
|
case (optCoding,optCoding') of
|
||||||
|
{-
|
||||||
(Nothing,Nothing) ->
|
(Nothing,Nothing) ->
|
||||||
unless (BS.all isAscii raw) $
|
unless (BS.all isAscii raw) $
|
||||||
ePutStrLn $ file0++":\n Warning: default encoding has changed from Latin-1 to UTF-8"
|
ePutStrLn $ file0++":\n Warning: default encoding has changed from Latin-1 to UTF-8"
|
||||||
|
-}
|
||||||
(_,Just coding') ->
|
(_,Just coding') ->
|
||||||
when (coding/=coding') $
|
when (coding/=coding') $
|
||||||
raise $ "Encoding mismatch: "++coding++" /= "++coding'
|
raise $ "Encoding mismatch: "++coding++" /= "++coding'
|
||||||
|
|||||||
Reference in New Issue
Block a user