ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-11-13 07:26:59 +03:00
Code Issues Projects Releases Wiki Activity

Add test for new float primitive prim__negFloat

Browse Source
This commit is contained in:
Markus Pfeiffer 2014-09-22 11:41:29 +01:00
parent af2fb53581
commit 6359721128
2 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
test/primitives002/expected
View File

@ -42,3 +42,5 @@ prim__floatLog 1.0
0.0
prim__floatSqrt 1.0
1.0
prim__negFloat 1.0
-1.0

1
test/primitives002/run
View File

@ -31,6 +31,7 @@ TESTS=("prim__floatToStr 0.0"
"prim__floatExp 1.0"
"prim__floatLog 1.0"
"prim__floatSqrt 1.0"
"prim__negFloat 1.0"
)
generate_testfile()