I can't seem to make typed racket happy about using 'sort':
#lang typed/racket
((ann sort ((Listof Integer) (Integer Integer - Boolean) - (Listof Integer)))
'(3 5 4) (ann (Integer Integer - Boolean)))
=
Type Checker: Expected ((Listof Integer) (Integer Integer - Boolean) -
(Listof
Have you tried using inst instead of ann? Telling TR what to fill
in for a and b will probably be more helpful to it.
Carl Eastlund
On Sat, Aug 20, 2011 at 11:55 AM, John Clements
cleme...@brinckerhoff.org wrote:
I can't seem to make typed racket happy about using 'sort':
#lang typed/racket
On Aug 20, 2011, at 12:06 PM, Carl Eastlund wrote:
Have you tried using inst instead of ann? Telling TR what to fill
in for a and b will probably be more helpful to it.
Yay! Many thanks.
John
smime.p7s
Description: S/MIME cryptographic signature
3 matches
Mail list logo