Ludovic Courtès 7874bbbb9f
records: Insert record type ABI checks in constructors.
* guix/records.scm (print-record-abi-mismatch-error): New procedure.
<top level>: Add 'set-exception-printer!' call.
(current-abi-identifier, abi-check): New procedures.
(make-syntactic-constructor): Add #:abi-cookie parameter.  Insert calls
to 'abi-check'.
(define-record-type*)[compute-abi-cookie]: New procedure.
Use it and emit a definition of the 'current-abi-identifier' for TYPE.
* tests/records.scm ("ABI checks"): New test.
2018-05-23 10:21:02 +02:00
..
2018-03-20 17:17:58 +01:00
2017-07-21 17:03:24 +02:00
2018-03-28 16:17:06 +02:00
2017-01-28 18:55:20 +01:00
2017-05-03 16:16:17 +02:00
2018-03-08 11:56:20 +01:00
2017-11-08 22:31:58 +01:00
2018-03-20 17:17:58 +01:00
2017-05-03 16:16:17 +02:00
2017-12-12 18:11:22 +01:00
2018-05-13 13:29:27 +02:00