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
2 matches
Mail list logo