From f5f2f08f41dd1960b82cabac5ed1bbda2605fab3 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Tue, 30 Apr 2013 15:57:02 -0400 Subject: [PATCH] Aughhhh scribble and its location-propagation --- marketplace/scribblings/prelude.inc | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/marketplace/scribblings/prelude.inc b/marketplace/scribblings/prelude.inc index bc027c0..fedaf4d 100644 --- a/marketplace/scribblings/prelude.inc +++ b/marketplace/scribblings/prelude.inc @@ -10,6 +10,9 @@ (lambda (stx) (syntax-case stx () [(_ (t a ...) d desc ...) - #`(defthing #:kind "type" t #,(syntax/loc #'d (All (a ...) d)) desc ...)] + #`(defthing #:kind "type" t +;; This is in column zero because scribble is overscrupulous about location preservation. +#,(quasisyntax/loc #'d (All (a ...) d)) + desc ...)] [(_ t d desc ...) #`(defthing #:kind "type" t d desc ...)])))