ref: 956624b4ea52a226fb82919b3ab4687628fc59b5
parent: 9135379f4acd9e359c59f55bcfc489dcb0f4b8a7
author: Lennart Augustsson <lennart@augustsson.net>
date: Wed Dec 27 09:35:14 EST 2023
Update
--- a/README.md
+++ b/README.md
@@ -229,7 +229,9 @@
Updating a field has the usual Haskell syntax `r{ a = e }`, but the type is overloaded so this can update the `a` field in any record.The typeclass `HasField` captures this. `HasField "name" rec ty` expresses that the record type `rec` has a field `name` with type `ty`.
Record updates can also update nested fields, e.g., `r{ a.b.c = e }`. Note that this will not easily work in GHC, since GHC does not-fully implement `OverloadedRecordUpdate`. When GHC decides how to do it, MicroHs will follow suit.
+fully implement `OverloadedRecordUpdate`. When GHC decides how to do it, MicroHs will follow suit.
+
+Note that record updates cannot change the type of polymorphic fields.
### Features
The runtime system can serialize and deserialize any expression
--
⑨