4 Sep 2009 04:58
[Hugs] #94: pattern match failure on Chars with Unicode codepoint >0x4ff
Hugs <trac <at> galois.com>
2009-09-04 02:58:16 GMT
2009-09-04 02:58:16 GMT
#94: pattern match failure on Chars with Unicode codepoint >0x4ff
--------------------+-------------------------------------------------------
Reporter: guest | Owner: nobody
Type: defect | Status: new
Priority: major | Milestone:
Component: hugs | Version: current
Keywords: |
--------------------+-------------------------------------------------------
hi,
i tested the following code in Hugs:
{{{
patternMatchingWorks1 = case '\x4ff' of '\x4ff' -> True
patternMatchingWorks2 = case '\x500' of '\x500' -> True
patternMatchingWorks3 = f '\x4ff' where f '\x4ff' = True
patternMatchingWorks4 = f '\x500' where f '\x500' = True
patternMatchingWorks5 = (\'\x4ff'->True) '\x4ff'
patternMatchingWorks6 = (\'\x500'->True) '\x500'
}}}
and got the following output:
{{{
Main> :load "M:\\haskell\\sources\\WinHugsPatternMatchingBug.hs"
Main> patternMatchingWorks1
True
Main> patternMatchingWorks2
Program error: pattern match failure: patternMatchingWorks2_v1621 '\1280'
Main> patternMatchingWorks3
True
(Continue reading)
RSS Feed