Project

General

Profile

Actions

Bug #27

closed

Constant number can't be cast to a Word64 or Word128

Bug #27: Constant number can't be cast to a Word64 or Word128

Added by Anonymous almost 19 years ago. Updated over 18 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Alain Prouté
Category:
Compiler
Target version:
1.8
Start date:
Due date:
% Done:

0%

Estimated time:
Platform:
Resolution:
fixed
Triage Stage:

Description

It's currently impossible to write something like this :

  ...
  with w1 = (Word64)14,
  ...

even with a bigger number (64 bits) than 14.

Compiler tells us that '14' can't be a Word64 but only a Word4 to Word32, Int32, float or Nat.

Actions

Also available in: PDF Atom