Newbie questions about Pliant

Newbie questions about Pliant

big non atomic numbers

Int64, intn, ...
Message posted by johan.boule on 2001/01/26 22:54:26
Could someone show me how to define a factorial function that uses Int64 numbers ?
Thanks in advance,
Johan.
Message posted by johan.boule on 2001/01/26 22:55:13
didn't work
===============

submodule "/pliant/language/unsafe.pli"

function fact x -> y

  arg Int64 x y

  require
    x>=0

  y:=shunt x<=1 1 x*(fact x-1)

  ensure
    y<>shunt x<=1 1 x*(fact x-1) this line is not compiled it should be false

for (gvar Int i) 0 12
  console "(fact "i") = " fact:(cast i Int64) eol

=============================================================
ambiguous usage of compare
  could be function compare Int64 Int64:2 -> Int
    (/pliant/language/type/number/int64.pli (internals) 80 3)
  could be function compare Intn Intn:2 -> Int
    (/pliant/language/type/number/intn.pli (internals) 349 1)
=============================================================
Message posted by hubert.tonneau on 2001/01/27 00:39:49
The 'Int64' current implementation is far from complete.
It is only usefull to "map" an object in a structure.
For computations, you should use 'Intn'.