The following snippet:
--------------------------
#lang typed/racket
(: ** [Real Real -> Real])
(define (** a b)
(expt a b))
--------------------------
Throws:
unsaved editor:5:2: Type Checker: type mismatch expected: Real given: Number
in: (expt a b)
#(67 10)
I believe (because I can’t think of a counterexample) that
(expt Real Real) is never Complex; and therefore expt can be of type
(Real Real -> Real).
First off, is the statement above true?
Is there a technical reason why my example HAS TO fall back to
(Number Number -> Number)? Or is this simply an oversight?
Regards,
Tim
Version: 6.6.0.4--2016-09-08(-/f) [3m].
--
Tim Brown CEng MBCS <tim.br...@cityc.co.uk>
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
City Computing Limited · www.cityc.co.uk
City House · Sutton Park Rd · Sutton · Surrey · SM1 2AE · GB
T:+44 20 8770 2110 · F:+44 20 8770 2130
────────────────────────────────────────────────────────────────────────
City Computing Limited registered in London No:1767817.
Registered Office: City House, Sutton Park Road, Sutton, Surrey, SM1 2AE
VAT No: GB 918 4680 96
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
