25 lines
724 B
Plaintext
25 lines
724 B
Plaintext
#group extensions/overloadedrecorddot
|
|
|
|
#test getfield
|
|
{-# LANGUAGE OverloadedRecordDot #-}
|
|
recorddot1 = a.b.c
|
|
|
|
#test getfield
|
|
{-# LANGUAGE OverloadedRecordDot #-}
|
|
recorddot2 =
|
|
{-before-}a.b.c{-after-}
|
|
|
|
#test projection
|
|
{-# LANGUAGE OverloadedRecordDot #-}
|
|
recorddot3 =
|
|
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
|
|
& (.bbbbbbbbbbbbbbbbbbbbbbbbbbb)
|
|
& (.ccccccccccccccccccccccccccccccccccccc)
|
|
& (.ddddddddddddddddddddddddddddddddddddddddddddddddddd)
|
|
|
|
#test projection too long
|
|
{-# LANGUAGE OverloadedRecordDot #-}
|
|
recorddot4 =
|
|
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
|
|
& (.bbbbbbbbbbbbbbbbbbbbbbbbbbb.ccccccccccccccccccccccccccccccccccccc.ddddddddddddddddddddddddddddddddddddddddddddddddddd)
|