on master help sign in
Fix typo in nested record update.

Complete Idris newbie here, but I *believe* this should be `val` rather than `x`

commit0c542605f0d04836e30863d795c44949c842d5b3 authoreric casteleijn <thisfred@gmail.com> dateWed 13 Jan 2016, 21:28 (11 years ago) parente97f02a
1 file changed+1−1
docs/tutorial/typesfuns.rst+1−1
docs/tutorial/typesfuns.rst+1−1
@@ -997,7 +997,7 @@ syntax:
997997 record { a->b->c = val } x
998998
999999This returns a new record, with the field accessed by the path
1000−``a->b->c`` set to ``x``. The syntax is first class, i.e. ``record {
1000+``a->b->c`` set to ``val``. The syntax is first class, i.e. ``record {
10011001a->b->c = val }`` itself has a function type. Symmetrically, the field
10021002can also be accessed with the following syntax:
10031003