18 May 2009 18:13
[Hugs] #92: Strict record fields aren't demanded
Hugs <trac <at> galois.com>
2009-05-18 16:13:36 GMT
2009-05-18 16:13:36 GMT
#92: Strict record fields aren't demanded
--------------------+-------------------------------------------------------
Reporter: guest | Owner: nobody
Type: defect | Status: new
Priority: major | Milestone:
Component: hugs | Version: 200609
Keywords: |
--------------------+-------------------------------------------------------
Given
{{{
data S = S { a :: Int, b :: ! Int }
}}}
In GHCi:
{{{
*Main> a (S { a = 0, b = 1 })
0
*Main> a (S { a = 0, b = undefined })
*** Exception: Prelude.undefined
}}}
In Hugs:
{{{
Main> a (S { a = 0, b = 1 })
0
Main> a (S { a = 0, b = undefined })
0
(Continue reading)
RSS Feed