| 37 | | This would mitigate the problems caused by accessors being partial functions since you can use a simple case statement to get the effect of an accesor that returns its result in a Maybe |
| | 37 | This would mitigate the problems caused by accessors being partial functions since you can use a simple case statement to get the effect of an accesor that returns its result in a Maybe. |
| | 38 | |
| | 39 | Note from Simon. I hate that the above defn of 'f' has just one argument (val {x="foo")), |
| | 40 | whereas it looks as if it has two. (This is a problem with existing Haskell.) It looks |
| | 41 | like 'f' has an argument 'val' and another arguement that is a free-standing record, |
| | 42 | something we really want in the end anyhow. Not sure how to fix this. val@{x="foo")? |
