search

marcomaggi / vicare

A native compiler for Scheme compliant with R6RS
http://marcomaggi.github.com/vicare.html
Other
200 stars 34 forks source link

wrong expt computation with typed language enabled #96

Closed marcomaggi closed 7 years ago

marcomaggi commented 7 years ago

I am using Vicare Scheme 0.4d1.1. When the typed language is enabled the following happens:

(expt 1.1 2) => 305151425008574595136000000
(expt 1.1 2.0) => 1.2100000000000002

this is because the table of specifications for the expt specialised core primitives has the wrong type for the first argument.