Idris2/tests/node
Stefan Höck 6cdf05f1ec
[ new ] Add Int(8/16/32/64) (#1352)
This adds new `Int8`, `Int16`, `Int32` and `Int64` data types
to the compiler, thus working towards properly specified integer
types as discussed in #1048.

In addition, the following changes / corrections are made:

* Support casts from `Char`, `String`, and `Double` to all integer
  types (and back). This fixes #1270.
* Make sure that all casts to limited-precision integers are properly
  bounds checked (this was not the case so far for casts from `String`
  and `Double` to `Int`)
* Add a thorough set of tests to make sure all bounds checks work
  correctly for all supported casts and arithmetic operations
2021-05-04 08:22:06 +01:00
..
casts [ new ] Add Int(8/16/32/64) (#1352) 2021-05-04 08:22:06 +01:00
idiom001 Remove trailing whitespaces and add trailing newlines 2021-01-16 10:00:03 +00:00
newints [ new ] Add Int(8/16/32/64) (#1352) 2021-05-04 08:22:06 +01:00
node001 Flush standard out after writing prompt to it 2021-04-09 15:17:00 +01:00
node002 Flush standard out after writing prompt to it 2021-04-09 15:17:00 +01:00
node003 Flush standard out after writing prompt to it 2021-04-09 15:17:00 +01:00
node004 Flush standard out after writing prompt to it 2021-04-09 15:17:00 +01:00
node005 Flush standard out after writing prompt to it 2021-04-09 15:17:00 +01:00
node006 Flush standard out after writing prompt to it 2021-04-09 15:17:00 +01:00
node007 Flush standard out after writing prompt to it 2021-04-09 15:17:00 +01:00
node008 Flush standard out after writing prompt to it 2021-04-09 15:17:00 +01:00
node009 Flush standard out after writing prompt to it 2021-04-09 15:17:00 +01:00
node011 Flush standard out after writing prompt to it 2021-04-09 15:17:00 +01:00
node012 Flush standard out after writing prompt to it 2021-04-09 15:17:00 +01:00
node014 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
node015 Flush standard out after writing prompt to it 2021-04-09 15:17:00 +01:00
node017 Flush standard out after writing prompt to it 2021-04-09 15:17:00 +01:00
node018 Flush standard out after writing prompt to it 2021-04-09 15:17:00 +01:00
node019 Flush standard out after writing prompt to it 2021-04-09 15:17:00 +01:00
node020 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
node021 Flush standard out after writing prompt to it 2021-04-09 15:17:00 +01:00
node022 Flush standard out after writing prompt to it 2021-04-09 15:17:00 +01:00
node023 Flush standard out after writing prompt to it 2021-04-09 15:17:00 +01:00
node024 Flush standard out after writing prompt to it 2021-04-09 15:17:00 +01:00
node025 Flush standard out after writing prompt to it 2021-04-09 15:17:00 +01:00
reg001 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
syntax001 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
tailrec001 mutual tail recursion 2020-10-05 14:39:38 +01:00