diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-05-16 10:05:24 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-05-23 10:21:02 +0200 |
| commit | 7874bbbb9f09cc14ea3e179fd0fa10da5f90cfc7 (patch) | |
| tree | 858882215ed759814f841b714250434e975f604f /gnu/bootloader | |
| parent | 56f9d442e0b5624130042f69f33ea5bd7e970798 (diff) | |
| download | guix-7874bbbb9f09cc14ea3e179fd0fa10da5f90cfc7.tar.gz | |
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.
Diffstat (limited to 'gnu/bootloader')
0 files changed, 0 insertions, 0 deletions