search

HigherOrderCO / Kind

A modern proof language
https://higherorderco.com
MIT License
3.58k stars 142 forks source link

F64 returning incorrect values #341

Closed Derenash closed 2 years ago

Derenash commented 2 years ago

Describe the bug

F64 removes 0s after comma before calculations are made 1.05 + 1.05 = 3.0

To Reproduce

Steps to reproduce the behavior:

  1. Write the code on Test.kind
  2. Use the command kind Test --run

Expected behavior

The program should print 2.1, not 3.0

Environment (please complete the following information):

Additional context

F64.neg(10) returns -0.4375 F64.neg(1) returns -4.0

image

algebraic-dev commented 2 years ago

Closed because the repository now only contains the code for the Kind2 language.