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
cea25b08bf
records: Use 'make-struct/no-tail'.
...
* guix/records.scm (make-syntactic-constructor): Use
'make-struct/no-tail' as 'make-struct' is deprecated as of 2.2.3.
2017-12-01 18:47:34 +01:00
6692d8454a
guix: records: Add match-record.
...
* guix/records.scm: New syntax-rule.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-11-05 15:21:53 +01:00
94df39cc08
records: Slight simplification.
...
* guix/records.scm (make-syntactic-constructor): Simplify 'find' expression.
2017-04-17 23:31:28 +02:00
babc2c80a7
records: Improve reporting of invalid field specifiers.
...
Fixes <http://bugs.gnu.org/23969 >.
Reported by Vincent Legoll <vincent.legoll@gmail.com>.
* guix/records.scm (report-invalid-field-specifier): New procedure.
* tests/records.scm ("define-record-type* & wrong field specifier"): New
test.
2016-07-14 19:07:07 +02:00
ad7c1a2cde
records: Remove unnecessary 'begin'.
...
* guix/records.scm (define-record-type*): Remove unnecessary 'begin'.
2015-06-11 23:33:32 +02:00
8a16d064fa
records: Add support for 'innate' fields.
...
* guix/records.scm (make-syntactic-constructor): Add #:innate parameter.
[record-inheritance]: Honor it.
[innate-field?]: New procedure.
(define-record-type*)[innate-field?]: New procedure.
Pass #:innate to 'make-syntactic-constructor'.
* tests/records.scm ("define-record-type* & inherit & innate",
"define-record-type* & thunked & innate"): New tests.
2015-06-11 23:33:32 +02:00
792798f486
records: "options" → "properties".
...
* guix/records.scm (define-record-type*): Change "options" to "properties".
2015-06-11 23:33:32 +02:00
faef3b6a96
records: Factorize field property predicates.
...
* guix/records.scm (define-field-property-predicate): New macro.
(define-record-type*)[thunked-field?, delayed-field?]: Use it.
2015-06-11 23:33:32 +02:00
b9c8647337
records: Separate default-value handling.
...
* guix/records.scm (make-syntactic-constructor)[default-values]: New
variable.
[field-default-value]: New procedure.
Use them.
2015-06-11 23:33:32 +02:00
39fc041a7d
records: Replace 'eval-when' with a proper 'define-syntax'.
...
* guix/records.scm (make-syntactic-constructor): Remove enclosing
'eval-when'. Turn into a 'syntax-rules' macro.
2015-06-11 23:33:32 +02:00
954cea3ae6
records: Make 'make-syntactic-constructor' available at load/eval/expand.
...
* guix/records.scm (make-syntactic-constructor): Wrap in 'eval-when'.
2015-05-04 23:30:52 +02:00
310b32a2a6
records: Add support for delayed fields.
...
* guix/records.scm (make-syntactic-constructor): Add #:delayed
parameter.
[delayed-field?]: New procedure.
[wrap-field-value]: Use it.
(define-record-type*)[delayed-field?, wrapped-field?]: New procedures.
[thunked-field-accessor-name]: Rename to...
[wrapped-field-accessor-name]: ... this.
[field-spec->srfi-9]: Change 'thunked' to 'wrapped'.
[delayed-field-accessor-definition]: New procedure.
Compute delayed-field accessors and emit them. Pass #:delayed to
'make-syntactic-constructor'.
* tests/records.scm ("define-record-type* & delayed",
"define-record-type* & delayed & default",
"define-record-type* & delayed & inherited"): New tests.
2015-01-19 23:30:42 +01:00
0db40ed289
make-syntactic-constructor kwarg default
2015-01-19 23:30:42 +01:00
c492be654b
records: Factorize value wrapping in the record constructor.
...
* guix/records.scm (make-syntactic-constructor)[wrap-field-value]: New
procedure.
[field-bindings, field-value]: Use it.
2015-01-19 23:30:42 +01:00
cf4efb394f
records: Move 'make-syntactic-constructor' to the top level.
...
* guix/records.scm (make-syntactic-constructor): New procedure, formerly
nested in 'define-record-type*'.
2015-01-19 23:30:42 +01:00
9b543456d7
records: Use keyword parameters for 'make-syntactic-constructor'.
...
* guix/records.scm (define-record-type*)[make-syntactic-constructor]:
Turn THUNKED and DEFAULTS into keyword arguments.
Adjust caller accordingly. Declare 'thunked' and 'defaults' local
variables.
2015-01-19 23:30:42 +01:00
fb519bd831
records: Optimize 'recutils->alist' by avoiding regexps.
...
* guix/records.scm (%recutils-field-rx, %recutils-comment-rx,
%recutils-plus-rx): Remove.
(%recutils-field-charset): New variable.
(recutils->alist): Adjust to use tests (string-ref line 0) instead of
regexps.
2015-01-09 01:08:10 +01:00
e25408849a
records: Improve the docstring of 'define-record-type*'.
...
* guix/records.scm (define-record-type*): Agument the docstring, give
examples.
2014-10-17 23:23:20 +02:00
a1906758c3
records: Report unknown field names in inheriting forms.
...
* guix/records.scm (define-record-type*)[record-inheritance]: Check for
unexpected field names.
* tests/records.scm ("define-record-type* with let* behavior"): Return
#t, not *unspecified*.
("define-record-type* & inherit & extra initializers"): New test.
2014-07-17 16:45:45 +02:00
b1353e7a6b
records: Factorize error-reporting macro.
...
* guix/records.scm (record-error): New macro.
(define-record-type*)[error*]: Remove.
Use 'record-error' instead.
2014-07-17 16:42:19 +02:00
59fbeb8cae
records: define-record-type*: Field bindings are bound with 'let*'.
...
* guix/records.scm (define-record-type*): Wrap field bindings in a
'let*', not in a 'letrec*', which turned out to be pointlessly
inconvenient.
* tests/records.scm: Adjust test names accordingly.
2013-10-15 23:31:22 +02:00
836d10f154
records: `recutils->alist' recognizes lines starting with a `+'.
...
* guix/records.scm (%recutils-plus-rx): New variable.
(recutils->alist): Use it to read + lines.
* tests/records.scm ("recutils->alist with + lines"): New test.
2013-07-10 21:53:29 +02:00
c8772a7a21
records: `alist->record' supports multiple-field occurrences.
...
* guix/records.scm (alist->record): Add `multiple-value-keys'
parameter. Update docstring, and honor it.
* tests/records.scm ("alist->record"): New record.
2013-07-10 21:52:51 +02:00
b7b8828801
records: `recutils->alist' recognizes comments.
...
* guix/records.scm (%recutils-comment-rx): New variable.
(recutils->alist): Match comments.
* tests/records.scm ("recutils->alist"): Add comments.
2013-07-10 18:01:12 +02:00
fdc1bf659d
records: Add `recutils->alist' for public consumption.
...
* guix/records.scm (%recutils-field-rx): New variable.
(recutils->alist): New procedure, formerly known as `fields->alist'.
* guix/scripts/substitute-binary.scm (fields->alist): Use it.
* tests/records.scm ("recutils->alist"): New test.
2013-07-10 17:01:08 +02:00
c0cd1b3ea7
Move record utilities to (guix records).
...
* guix/utils.scm (define-record-type*): Move to...
* guix/records.scm: ... here. New file.
* guix/build-system.scm, guix/packages.scm: Use it.
* guix/gnu-maintenance.scm: Likewise.
(official-gnu-packages)[alist->record]: Remove.
* guix/scripts/substitute-binary.scm: Likewise.
(alist->record, object->fields): Remove.
* tests/utils.scm ("define-record-type*", "define-record-type* with
letrec* behavior", "define-record-type* & inherit",
"define-record-type* & inherit & letrec* behavior",
"define-record-type* & thunked", "define-record-type* & thunked &
default", "define-record-type* & thunked & inherited"): Move to...
* tests/records.scm: ... here. New file.
2013-05-12 15:46:16 +02:00
Ludovic Courtès