search

anoma / juvix

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

Allow punning in record updates #2967

Open heueristik opened 2 months ago

heueristik commented 2 months ago

Currently, punning is possible

Resource.mk@{
  logic;
  label;
  quantity;
  data;
  eph;
  npk;
  nonce;
  rseed
};

whereas it is not possible when a record is copied and edited in place

r@Resource{
  eph; -- instead, you have to do `eph := ephemeral` or similar
};

which would be nice to have.