Tests/dense_int.chr

   1 :- module(dense_int,[dense_int/0]).\r
   2 \r
   3 :-use_module(library(chr)).\r
   4 \r
   5 :-chr_type 'Arity' == dense_int.\r
   6 \r
   7 :-chr_constraint c1(+'Arity').\r
   8   \r
   9 :-chr_option(line_numbers, on).\r
  10 :-chr_option(check_guard_bindings, on).\r
  11 :-chr_option(debug, off).\r
  12 :-chr_option(optimize, full).\r
  13 \r
  14 dense_int :-\r
  15   c1(1),\r
  16   c1(1).\r
  17 \r
  18 \r
  19 no_duplicates @\r
  20   c1(X)\r
  21   \\r
  22   c1(X)\r
  23   <=>\r
  24   true.\r
  25 \r
  26 \r