declare.t

use v6.d;
use Test;

# see if you can declare the various built-in types
# a broad but not in depth test of the existence of various types

plan 70;

# L<S02/"Built-in Type Conventions"/"Built-in object types start with an uppercase letter">

# immutable types (e.g. Int, Num, Complex, Rat, Str, Bit, Regex, Set, Block, List)

{
 my Int $namcu =2;
 isa-ok($namcu,Int);
}

{
 my Num $namcu =1.1e1;
 isa-ok($namcu,Num);
}

{
 my Complex $namcu = 1.3 + 0i;
 isa-ok($namcu,Complex);
}

{
 my Rat $namcu = 7 / 4;
 isa-ok($namcu,Rat);
}

{
 my Str $lerpoi = "broda";
 isa-ok($lerpoi,Str);
}

#?rakudo skip 'Bit NYI RT #124458'
{
 my Bit $namcu =1;
 isa-ok($namcu,Bit);
}

{
 my Regex $morna;
 isa-ok($morna, Regex);
}

{
 my Set $selcmima;
 isa-ok($selcmima, Set);
}

{
 my Block $broda;
 isa-ok($broda, Block);
}

{
 my List $liste;
 isa-ok($liste, List);
}


# mutable (container) types, such as Scalar, Array, Hash, Buf, Routine,
# Buf nacpoi

{
 my Scalar $brode;
 isa-ok($brode, Scalar);
}

{
 my Array $porsi;
 isa-ok($porsi, Array);
}

{
 my Hash $brodi;
 isa-ok($brodi, Hash);
}

{
 my Buf $nacpoi;
 ok($nacpoi ~~ Buf);
}

{
 my Routine $gunka;
 isa-ok($gunka, Routine);
}

{
 my Stash $igeda;
 isa-ok($igeda, Stash);
}

# non-instantiable Roles such as Callable, Failure, and Integral
{
 my Callable $fancu ;
 ok($fancu ~~ Callable);
}

#?rakudo skip 'Integral NYI RT #124460'
{
 my Integral $foo;
 ok($foo ~~ Integral);
}


# Non-object (native) types are lowercase: int, num, complex, rat, buf, bit.

#?rakudo.jvm todo "RT #126526"
{
 throws-like { my int $namcu; $namcu = 2**100 }, Exception,
    message => / 'Cannot unbox 101 bit wide bigint into native integer' /,
    "Assign big bigint to native won't overflow silently";
}

{
 my num $namcu =1.1e0;

 multi sub nummy(num $a) { return "num" }
 multi sub nummy(Num $a) { return "Num" }

 isa-ok $namcu, Num, "num reports as Num";
 is nummy($namcu), "num", "num dispatches properly";
}

# Type mismatch in assignment; expected something matching type Complex but got something of type Num()

#?rakudo skip 'complex NYI RT #124463'
{
 my complex $namcu =1.3;
 isa-ok($namcu,complex);
}

#?rakudo skip 'rat NYI RT #124464'

{
 my rat $namcu = 7 / 4;
 isa-ok($namcu,rat);
}

#?rakudo skip 'bit NYI RT #124465'
{
 my bit $namcu =1;
 isa-ok($namcu,bit);
}

#?rakudo skip 'buf NYI RT #124466'
{
 my buf $nacpoi;
 isa-ok($nacpoi, buf);
}

# uint Nil Whatever Mu Failure
# Exception Range Bag Signature Capture Blob Instant Duration
# Keyhash SetHash BagHash Pair Mapping IO Routine Sub Method
# Submethod Macro Match Package Module Class Role Grammar Any

{
 my Nil $ci;
 ok($ci === Nil);
}

{
 my Whatever $vo;
 isa-ok($vo,Whatever  );
}

{
 my Mu $mu;
 ok($mu ~~ Mu  );
}

{
 my Failure $xa;
 isa-ok($xa,Failure  );
}

{
 my Exception $ze;
 isa-ok($ze,Exception  );
}

{
 my Range $bi;
 isa-ok($bi,Range  );
}

{
 my Bag $so;
 isa-ok($so,Bag  );
}

{
 my Signature $pano;
 isa-ok($pano,Signature  );
}

{
 my Capture $papa;
 isa-ok($papa,Capture  );
}

{
 my Blob $pare;
 ok($pare ~~ Blob);
}

{
 my Instant $paci;
 isa-ok($paci,Instant  );
}

{
 my Duration $pavo;
 isa-ok($pavo,Duration  );
}

{
 my QuantHash $pamu;
 ok($pamu ~~ QuantHash, 'The object does QuantHash' );
}

{
 my SetHash $paxa;
 isa-ok($paxa,SetHash  );
}

{
 my BagHash $paze;
 isa-ok($paze,BagHash  );
}

{
 my Pair $pabi;
 isa-ok($pabi,Pair  );
}

{
 my Map $paso;
 isa-ok($paso,Map  );
}

{
 my Routine $repa;
 isa-ok($repa,Routine  );
}

{
 my Sub $rere;
 isa-ok($rere, Sub );
}

{
 my sub bar() { say 'blah' };
 my Sub $rr = &bar;
 isa-ok($rr, Sub );
}

{
 my sub baz() { return 1;};
 my sub bar() { return baz;} ;
 my &foo := &bar;
 is(&foo(), 1,'nested sub call');
}

{
 my sub baz() { return 1;};
 my sub bar() { return baz;} ;
 my $foo = &bar;
 is($($foo()), 1, 'nested sub call');
}


{
 my Method $reci;
 isa-ok($reci, Method );
}

{
 my Submethod $revo;
 isa-ok($revo, Submethod );
}

{
 my Macro $remu;
 isa-ok($remu,Macro  );
}

{
 my Match $rexa;
 isa-ok($rexa,Match  );
}

{
 my Grammar $cire;
 isa-ok($cire,Grammar  );
}

{
 my Any $civo;
 isa-ok($civo, Any );
}

{
 my Bool $jetfu;
 isa-ok($jetfu, Bool);
}

{
 my Order $karbi;
 isa-ok($karbi, Order);
}

#?rakudo skip 'Matcher isa NYI RT #124470'
{
  my Matcher $mapti;
  isa-ok($mapti, Matcher);
}

{
  my Proxy $krati;
  isa-ok($krati, Proxy);
}

# Positional Associative Ordering Ordered
# KeyExtractor Comparator OrderingPair HyperWhatever

{
  my Positional $mokca;
  ok($mokca ~~ Positional,'Positional exists');
}

{
  my Associative $kansa;
  ok($kansa ~~ Associative,'Associative exists');
}

#?rakudo skip 'Ordering NYI RT #124477'
{
  my Ordering $foo;
  isa-ok($foo,Ordering);
}

#?rakudo skip 'KeyExtractor NYI RT #124478'
{
  my KeyExtractor $ckiku;
  isa-ok($ckiku, KeyExtractor);
}

# KeyExtractor Comparator OrderingPair HyperWhatever

#?rakudo skip 'Comparator NYI RT #124479'
{
  my Comparator $bar;
  isa-ok($bar,Comparator);
}

#?rakudo skip 'OrderingPair NYI RT #124480'
{
  my OrderingPair $foop;
  isa-ok($foop,OrderingPair);
}

{
  my HyperWhatever $baz;
  isa-ok($baz,HyperWhatever);
}

# utf8 utf16 utf32

{
  my utf8 $ubi;
  isa-ok($ubi,utf8);
}

{
  my utf16 $upaxa;
  isa-ok($upaxa,utf16);
}

{
  my utf32 $ucire;
  isa-ok($ucire,utf32);
}

# L<S09/Sized types/>
# int in1 int2 int4 int8 int16 in32 int64
# uint uin1 uint2 uint4 uint8 uint16 uint32 uint64
# S02-builtin_data_types/int-uint.t already has these covered

# L<S09/Sized types/"num16">
# num16 num32 num64 num128
# complex16 complex32 complex64 complex128
# buf8 buf16 buf32 buf64 

#?rakudo skip 'num16  NYI RT #124481'
{
  my num16 $namcupaxa;
  isa-ok($namcupaxa,num16);
}

# TODO FIXME rakudo does not have any of them anyway

# L<S02/"Hierarchical types"/"A non-scalar type may be qualified">
# my Egg $cup; my Egg @carton; my Array of Egg @box; my Array of Array of Egg @crate;
# my Hash of Array of Recipe %book;
# my Hash:of(Array:of(Recipe)) %book;
# my Hash of Array of Recipe %book; my %book of Hash of Array of Recipe

#RT #75896
{
  my Array of Int @box;
  ok(1,'Array of Int @box');
}

{
  my Array of Array of Int @box;
  ok(1,'Array of Array of Int @box');
}

# TODO FIXME



# vim: ft=perl6