Skip to Content.
Sympa Menu

coq-club - [Coq-Club] record update

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] record update


chronological Thread 
  • From: Jianzhou Zhao <jianzhou AT seas.upenn.edu>
  • To: coq-club <coq-club AT inria.fr>
  • Subject: [Coq-Club] record update
  • Date: Wed, 4 May 2011 10:40:04 -0400
  • Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:date:x-google-sender-auth:message-id:subject :from:to:content-type; b=lyUGUQredzz1UEKBSOEDhO1dQL315Nr4rl2TaYNFAotX1IlsOK0tYQW/+TSsLDEZ1d Ix1N+0Jelv9z3P7S0Q6fq+RuvT2VzUGatW1hE05WhA2ENfBi+VvWwpkYhYrFB6bdB8TL +h4lHJQpnFgBWqdLv98tjXjwBz/9+H6o36pHw=

Hi,

Does Coq have a record-update syntax like OCaml?

type r = {f1:int; f2:int}
let a = {f1:=0;f2=0}
let b =  {a with f1 = 0}

Thank
-- 
Jianzhou



Archive powered by MhonArc 2.6.16.

Top of Page