syndicate-lang
/
preserves
mirror of https://gitlab.com/preserves/preserves.git
1
0
Fork 1
Code Releases Activity

Fix very stupid mistake in order.rkt

This commit is contained in:
Tony Garnock-Jones 2021-06-16 21:36:09 +02:00
parent f12343e723
commit f808e37e89
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
implementations/racket/preserves/preserves/order.rkt
View File

@ -61,7 +61,7 @@
[else (match ta ;; == tb
[7 (chain-order
(preserve-order (record-label a) (record-label b))
(preserve-order (record-fields a)) (preserve-order (record-fields b)))]
(preserve-order (record-fields a) (record-fields b)))]
[8 (match* (a b)
[('() '()) '=]
[('() _) '<]