& for additional arguments does not seem to work when declaring a contract

Description

user> (use '[clojure.core.contracts :only [contract]])
nil
user> (contract
silly
"Silly reporting for duty sir!"
[[a & b :as c]]
[])
CompilerException java.lang.RuntimeException: Unable to resolve symbol: & in this context, compilingNO_SOURCE_PATH:1:1)

the & in "a & b" is unresolved.

Environment

None

Activity

Show:

Michael Fogus September 2, 2022 at 2:58 PM

core.contracts OBE

Won't Fix

Details

Assignee

Reporter

Priority

Created September 8, 2013 at 4:29 AM
Updated September 2, 2022 at 2:58 PM
Resolved September 2, 2022 at 2:58 PM