Problems with record access in lambda functions.
For the translation of record acessors (e.g. standalone .recField
), I am using lambda functions.
.recField
gets translated to \x -> x.rec_field
But the type inference fails because x
is a variable and not a record.