From 52ff7151349aecfd94039b27c9d20106817529c8 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Wed, 25 Oct 2017 19:13:34 -0700 Subject: [PATCH] circumvent `*list/c` --- pollen/private/mode-indentation.rkt | 4 ++-- pollen/private/ts.rktd | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/pollen/private/mode-indentation.rkt b/pollen/private/mode-indentation.rkt index c772fb6..3c67e7d 100644 --- a/pollen/private/mode-indentation.rkt +++ b/pollen/private/mode-indentation.rkt @@ -11,9 +11,9 @@ Identical to scribble/private/indentation except it uses #\◊ rather than #\@ a In the unit tests, `scribble/base` became `pollen/markup` and `scribble/manual` became `pollen/markdown` to keep the number of characters consistent, and therefore the char positions within each sample. - |# + (provide determine-spaces paragraph-indentation keystrokes) (define paragraph-width-pref-name 'scribble-reindent-paragraph-width) @@ -569,7 +569,7 @@ to keep the number of characters consistent, and therefore the char positions wi (define/contract (insert-them t . strs) - (->* ((is-a?/c text%)) #:rest (*list/c (and/c string? #rx"\n$") string?) void?) + (->* ((is-a?/c text%)) #:rest (cons/c (and/c string? #rx"\n$") (listof string?)) void?) (for ([str (in-list strs)]) (define lp (send t last-position)) (send t insert str lp lp)) diff --git a/pollen/private/ts.rktd b/pollen/private/ts.rktd index 1a71daf..11dd1b5 100644 --- a/pollen/private/ts.rktd +++ b/pollen/private/ts.rktd @@ -1 +1 @@ -1508974093 +1508984014