search

anoma / juvix

A language for intent-centric and declarative decentralised applications
https://docs.juvix.org
GNU General Public License v3.0
442 stars 54 forks source link

Special error message for record updates of the shape `C@{field := field}` #2803

Open janmasrovira opened 4 weeks ago

janmasrovira commented 4 weeks ago

This currently fails the termination checker, which is correct, but since this error might occur commonly to new users, a special error message may be warranted.