home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / GLB.REF < prev    next >
Text File  |  1996-06-04  |  11KB  |  893 lines

  1.  
  2. *** Yes
  3. > > 
  4. *** Yes
  5. A = 1.
  6. --1> 
  7. *** Yes
  8. A = 1, B = 1.
  9. ----2> 
  10. *** Yes
  11. A = 1, B = 1, C = 1.
  12. ------3> 
  13. *** Yes
  14. A = 1, B = 1, C = 1, D = 1.
  15. --------4> 
  16. *** Yes
  17. A = 1, B = 1, C = 1, D = 1, E = 23.3.
  18. ----------5> 
  19. *** Yes
  20. A = 1, B = 1, C = 1, D = 1, E = 23.3, F = 23.3.
  21. ------------6> 
  22. *** Yes
  23. A = 1, B = 1, C = 1, D = 1, E = 23.3, F = 23.3, G = "232".
  24. --------------7> 
  25. *** Yes
  26. A = 1, B = 1, C = 1, D = 1, E = 23.3, F = 23.3, G = "232", H = "232".
  27. ----------------8> 
  28. *** Yes
  29. A = 1, B = 1, C = 1, D = 1, E = 23.3, F = 23.3, G = "232", H = "232", I = "232".
  30. ------------------9> 
  31. *** No
  32. A = 1, B = 1, C = 1, D = 1, E = 23.3, F = 23.3, G = "232", H = "232", I = "232".
  33. ------------------9> 
  34. *** No
  35. A = 1, B = 1, C = 1, D = 1, E = 23.3, F = 23.3, G = "232", H = "232", I = "232".
  36. ------------------9> 
  37. *** Yes
  38. A = 1, 
  39. B = 1, 
  40. C = 1, 
  41. D = 1, 
  42. E = 23.3, 
  43. F = 23.3, 
  44. G = "232", 
  45. H = "232", 
  46. I = "232", 
  47. L = 1.
  48.  
  49. --------------------10> 
  50. *** Yes
  51. A = 1, 
  52. B = 1, 
  53. C = 1, 
  54. D = 1, 
  55. E = 23.3, 
  56. F = 23.3, 
  57. G = "232", 
  58. H = "232", 
  59. I = "232", 
  60. L = 1, 
  61. M = int.
  62.  
  63. ----------------------11> 
  64. *** Yes
  65. A = 1, 
  66. B = 1, 
  67. C = 1, 
  68. D = 1, 
  69. E = 23.3, 
  70. F = 23.3, 
  71. G = "232", 
  72. H = "232", 
  73. I = "232", 
  74. L = 1, 
  75. M = int, 
  76. N = int.
  77.  
  78. ------------------------12> 
  79. *** Yes
  80. A = 1, 
  81. B = 1, 
  82. C = 1, 
  83. D = 1, 
  84. E = 23.3, 
  85. F = 23.3, 
  86. G = "232", 
  87. H = "232", 
  88. I = "232", 
  89. L = 1, 
  90. M = int, 
  91. N = int, 
  92. O = string.
  93.  
  94. --------------------------13> 
  95. *** Yes
  96. A = 1, 
  97. B = 1, 
  98. C = 1, 
  99. D = 1, 
  100. E = 23.3, 
  101. F = 23.3, 
  102. G = "232", 
  103. H = "232", 
  104. I = "232", 
  105. L = 1, 
  106. M = int, 
  107. N = int, 
  108. O = string, 
  109. P = int.
  110.  
  111. ----------------------------14> 
  112. *** Yes
  113. A = 1, 
  114. B = 1, 
  115. C = 1, 
  116. D = 1, 
  117. E = 23.3, 
  118. F = 23.3, 
  119. G = "232", 
  120. H = "232", 
  121. I = "232", 
  122. L = 1, 
  123. M = int, 
  124. N = int, 
  125. O = string, 
  126. P = int, 
  127. Q = real.
  128.  
  129. ------------------------------15> 
  130. *** No
  131. A = 1, 
  132. B = 1, 
  133. C = 1, 
  134. D = 1, 
  135. E = 23.3, 
  136. F = 23.3, 
  137. G = "232", 
  138. H = "232", 
  139. I = "232", 
  140. L = 1, 
  141. M = int, 
  142. N = int, 
  143. O = string, 
  144. P = int, 
  145. Q = real.
  146.  
  147. ------------------------------15> 
  148. *** No
  149. A = 1, 
  150. B = 1, 
  151. C = 1, 
  152. D = 1, 
  153. E = 23.3, 
  154. F = 23.3, 
  155. G = "232", 
  156. H = "232", 
  157. I = "232", 
  158. L = 1, 
  159. M = int, 
  160. N = int, 
  161. O = string, 
  162. P = int, 
  163. Q = real.
  164.  
  165. ------------------------------15> 
  166. *** Yes
  167. A = 1, 
  168. B = 1, 
  169. C = 1, 
  170. D = 1, 
  171. E = 23.3, 
  172. F = 23.3, 
  173. G = "232", 
  174. H = "232", 
  175. I = "232", 
  176. L = 1, 
  177. M = int, 
  178. N = int, 
  179. O = string, 
  180. P = int, 
  181. Q = real, 
  182. T = 23.
  183.  
  184. --------------------------------16> 
  185. *** Yes
  186. A = 1, 
  187. B = 1, 
  188. C = 1, 
  189. D = 1, 
  190. E = 23.3, 
  191. F = 23.3, 
  192. G = "232", 
  193. H = "232", 
  194. I = "232", 
  195. L = 1, 
  196. M = int, 
  197. N = int, 
  198. O = string, 
  199. P = int, 
  200. Q = real, 
  201. T = 23, 
  202. U = 23.
  203.  
  204. ----------------------------------17> 
  205. *** Yes
  206. A = 1, 
  207. B = 1, 
  208. C = 1, 
  209. D = 1, 
  210. E = 23.3, 
  211. F = 23.3, 
  212. G = "232", 
  213. H = "232", 
  214. I = "232", 
  215. L = 1, 
  216. M = int, 
  217. N = int, 
  218. O = string, 
  219. P = int, 
  220. Q = real, 
  221. T = 23, 
  222. U = 23, 
  223. V = 23.3.
  224.  
  225. ------------------------------------18> 
  226. *** Yes
  227. A = 1, 
  228. B = 1, 
  229. C = 1, 
  230. D = 1, 
  231. E = 23.3, 
  232. F = 23.3, 
  233. G = "232", 
  234. H = "232", 
  235. I = "232", 
  236. L = 1, 
  237. M = int, 
  238. N = int, 
  239. O = string, 
  240. P = int, 
  241. Q = real, 
  242. T = 23, 
  243. U = 23, 
  244. V = 23.3, 
  245. W = 23.3.
  246.  
  247. --------------------------------------19> 
  248. *** Yes
  249. A = 1, 
  250. B = 1, 
  251. C = 1, 
  252. D = 1, 
  253. E = 23.3, 
  254. F = 23.3, 
  255. G = "232", 
  256. H = "232", 
  257. I = "232", 
  258. L = 1, 
  259. M = int, 
  260. N = int, 
  261. O = string, 
  262. P = int, 
  263. Q = real, 
  264. T = 23, 
  265. U = 23, 
  266. V = 23.3, 
  267. W = 23.3, 
  268. X = "23".
  269.  
  270. ----------------------------------------20> 
  271. *** Yes
  272. A = 1, 
  273. B = 1, 
  274. C = 1, 
  275. D = 1, 
  276. E = 23.3, 
  277. F = 23.3, 
  278. G = "232", 
  279. H = "232", 
  280. I = "232", 
  281. L = 1, 
  282. M = int, 
  283. N = int, 
  284. O = string, 
  285. P = int, 
  286. Q = real, 
  287. T = 23, 
  288. U = 23, 
  289. V = 23.3, 
  290. W = 23.3, 
  291. X = "23", 
  292. Y = "23".
  293.  
  294. ------------------------------------------21> 
  295. *** Yes
  296. A = 1, 
  297. B = 1, 
  298. C = 1, 
  299. D = 1, 
  300. E = 23.3, 
  301. F = 23.3, 
  302. G = "232", 
  303. H = "232", 
  304. I = "232", 
  305. L = 1, 
  306. M = int, 
  307. N = int, 
  308. O = string, 
  309. P = int, 
  310. Q = real, 
  311. T = 23, 
  312. U = 23, 
  313. V = 23.3, 
  314. W = 23.3, 
  315. X = "23", 
  316. Y = "23", 
  317. Z = [].
  318.  
  319. --------------------------------------------22> 
  320. *** Yes
  321. A = 1, 
  322. AA = [], 
  323. B = 1, 
  324. C = 1, 
  325. D = 1, 
  326. E = 23.3, 
  327. F = 23.3, 
  328. G = "232", 
  329. H = "232", 
  330. I = "232", 
  331. L = 1, 
  332. M = int, 
  333. N = int, 
  334. O = string, 
  335. P = int, 
  336. Q = real, 
  337. T = 23, 
  338. U = 23, 
  339. V = 23.3, 
  340. W = 23.3, 
  341. X = "23", 
  342. Y = "23", 
  343. Z = [].
  344.  
  345. ----------------------------------------------23> 
  346. *** Yes
  347. A = 1, 
  348. AA = [], 
  349. AB = cons, 
  350. B = 1, 
  351. C = 1, 
  352. D = 1, 
  353. E = 23.3, 
  354. F = 23.3, 
  355. G = "232", 
  356. H = "232", 
  357. I = "232", 
  358. L = 1, 
  359. M = int, 
  360. N = int, 
  361. O = string, 
  362. P = int, 
  363. Q = real, 
  364. T = 23, 
  365. U = 23, 
  366. V = 23.3, 
  367. W = 23.3, 
  368. X = "23", 
  369. Y = "23", 
  370. Z = [].
  371.  
  372. ------------------------------------------------24> 
  373. *** Yes
  374. A = 1, 
  375. AA = [], 
  376. AB = cons, 
  377. AC = cons, 
  378. B = 1, 
  379. C = 1, 
  380. D = 1, 
  381. E = 23.3, 
  382. F = 23.3, 
  383. G = "232", 
  384. H = "232", 
  385. I = "232", 
  386. L = 1, 
  387. M = int, 
  388. N = int, 
  389. O = string, 
  390. P = int, 
  391. Q = real, 
  392. T = 23, 
  393. U = 23, 
  394. V = 23.3, 
  395. W = 23.3, 
  396. X = "23", 
  397. Y = "23", 
  398. Z = [].
  399.  
  400. --------------------------------------------------25> 
  401. *** Yes
  402. A = 1, 
  403. AA = [], 
  404. AB = cons, 
  405. AC = cons, 
  406. AD = cons, 
  407. B = 1, 
  408. C = 1, 
  409. D = 1, 
  410. E = 23.3, 
  411. F = 23.3, 
  412. G = "232", 
  413. H = "232", 
  414. I = "232", 
  415. L = 1, 
  416. M = int, 
  417. N = int, 
  418. O = string, 
  419. P = int, 
  420. Q = real, 
  421. T = 23, 
  422. U = 23, 
  423. V = 23.3, 
  424. W = 23.3, 
  425. X = "23", 
  426. Y = "23", 
  427. Z = [].
  428.  
  429. ----------------------------------------------------26> 
  430. *** No
  431. A = 1, 
  432. AA = [], 
  433. AB = cons, 
  434. AC = cons, 
  435. AD = cons, 
  436. B = 1, 
  437. C = 1, 
  438. D = 1, 
  439. E = 23.3, 
  440. F = 23.3, 
  441. G = "232", 
  442. H = "232", 
  443. I = "232", 
  444. L = 1, 
  445. M = int, 
  446. N = int, 
  447. O = string, 
  448. P = int, 
  449. Q = real, 
  450. T = 23, 
  451. U = 23, 
  452. V = 23.3, 
  453. W = 23.3, 
  454. X = "23", 
  455. Y = "23", 
  456. Z = [].
  457.  
  458. ----------------------------------------------------26> 
  459. *** No
  460. A = 1, 
  461. AA = [], 
  462. AB = cons, 
  463. AC = cons, 
  464. AD = cons, 
  465. B = 1, 
  466. C = 1, 
  467. D = 1, 
  468. E = 23.3, 
  469. F = 23.3, 
  470. G = "232", 
  471. H = "232", 
  472. I = "232", 
  473. L = 1, 
  474. M = int, 
  475. N = int, 
  476. O = string, 
  477. P = int, 
  478. Q = real, 
  479. T = 23, 
  480. U = 23, 
  481. V = 23.3, 
  482. W = 23.3, 
  483. X = "23", 
  484. Y = "23", 
  485. Z = [].
  486.  
  487. ----------------------------------------------------26> 
  488. *** Yes
  489. A = 1, 
  490. AA = [], 
  491. AB = cons, 
  492. AC = cons, 
  493. AD = cons, 
  494. AG = [], 
  495. B = 1, 
  496. C = 1, 
  497. D = 1, 
  498. E = 23.3, 
  499. F = 23.3, 
  500. G = "232", 
  501. H = "232", 
  502. I = "232", 
  503. L = 1, 
  504. M = int, 
  505. N = int, 
  506. O = string, 
  507. P = int, 
  508. Q = real, 
  509. T = 23, 
  510. U = 23, 
  511. V = 23.3, 
  512. W = 23.3, 
  513. X = "23", 
  514. Y = "23", 
  515. Z = [].
  516.  
  517. ------------------------------------------------------27> 
  518. *** Yes
  519. A = 1, 
  520. AA = [], 
  521. AB = cons, 
  522. AC = cons, 
  523. AD = cons, 
  524. AG = [], 
  525. AH = list, 
  526. B = 1, 
  527. C = 1, 
  528. D = 1, 
  529. E = 23.3, 
  530. F = 23.3, 
  531. G = "232", 
  532. H = "232", 
  533. I = "232", 
  534. L = 1, 
  535. M = int, 
  536. N = int, 
  537. O = string, 
  538. P = int, 
  539. Q = real, 
  540. T = 23, 
  541. U = 23, 
  542. V = 23.3, 
  543. W = 23.3, 
  544. X = "23", 
  545. Y = "23", 
  546. Z = [].
  547.  
  548. --------------------------------------------------------28> 
  549. *** Yes
  550. A = 1, 
  551. AA = [], 
  552. AB = cons, 
  553. AC = cons, 
  554. AD = cons, 
  555. AG = [], 
  556. AH = list, 
  557. AI = list, 
  558. B = 1, 
  559. C = 1, 
  560. D = 1, 
  561. E = 23.3, 
  562. F = 23.3, 
  563. G = "232", 
  564. H = "232", 
  565. I = "232", 
  566. L = 1, 
  567. M = int, 
  568. N = int, 
  569. O = string, 
  570. P = int, 
  571. Q = real, 
  572. T = 23, 
  573. U = 23, 
  574. V = 23.3, 
  575. W = 23.3, 
  576. X = "23", 
  577. Y = "23", 
  578. Z = [].
  579.  
  580. ----------------------------------------------------------29> 
  581. *** Yes
  582. A = 1, 
  583. AA = [], 
  584. AB = cons, 
  585. AC = cons, 
  586. AD = cons, 
  587. AG = [], 
  588. AH = list, 
  589. AI = list, 
  590. AJ = list, 
  591. B = 1, 
  592. C = 1, 
  593. D = 1, 
  594. E = 23.3, 
  595. F = 23.3, 
  596. G = "232", 
  597. H = "232", 
  598. I = "232", 
  599. L = 1, 
  600. M = int, 
  601. N = int, 
  602. O = string, 
  603. P = int, 
  604. Q = real, 
  605. T = 23, 
  606. U = 23, 
  607. V = 23.3, 
  608. W = 23.3, 
  609. X = "23", 
  610. Y = "23", 
  611. Z = [].
  612.  
  613. ------------------------------------------------------------30> 
  614. *** No
  615. A = 1, 
  616. AA = [], 
  617. AB = cons, 
  618. AC = cons, 
  619. AD = cons, 
  620. AG = [], 
  621. AH = list, 
  622. AI = list, 
  623. AJ = list, 
  624. B = 1, 
  625. C = 1, 
  626. D = 1, 
  627. E = 23.3, 
  628. F = 23.3, 
  629. G = "232", 
  630. H = "232", 
  631. I = "232", 
  632. L = 1, 
  633. M = int, 
  634. N = int, 
  635. O = string, 
  636. P = int, 
  637. Q = real, 
  638. T = 23, 
  639. U = 23, 
  640. V = 23.3, 
  641. W = 23.3, 
  642. X = "23", 
  643. Y = "23", 
  644. Z = [].
  645.  
  646. ------------------------------------------------------------30> 
  647. *** No
  648. A = 1, 
  649. AA = [], 
  650. AB = cons, 
  651. AC = cons, 
  652. AD = cons, 
  653. AG = [], 
  654. AH = list, 
  655. AI = list, 
  656. AJ = list, 
  657. B = 1, 
  658. C = 1, 
  659. D = 1, 
  660. E = 23.3, 
  661. F = 23.3, 
  662. G = "232", 
  663. H = "232", 
  664. I = "232", 
  665. L = 1, 
  666. M = int, 
  667. N = int, 
  668. O = string, 
  669. P = int, 
  670. Q = real, 
  671. T = 23, 
  672. U = 23, 
  673. V = 23.3, 
  674. W = 23.3, 
  675. X = "23", 
  676. Y = "23", 
  677. Z = [].
  678.  
  679. ------------------------------------------------------------30> 
  680. *** Yes
  681. A = 1, 
  682. AA = [], 
  683. AB = cons, 
  684. AC = cons, 
  685. AD = cons, 
  686. AG = [], 
  687. AH = list, 
  688. AI = list, 
  689. AJ = list, 
  690. AM = disj, 
  691. B = 1, 
  692. C = 1, 
  693. D = 1, 
  694. E = 23.3, 
  695. F = 23.3, 
  696. G = "232", 
  697. H = "232", 
  698. I = "232", 
  699. L = 1, 
  700. M = int, 
  701. N = int, 
  702. O = string, 
  703. P = int, 
  704. Q = real, 
  705. T = 23, 
  706. U = 23, 
  707. V = 23.3, 
  708. W = 23.3, 
  709. X = "23", 
  710. Y = "23", 
  711. Z = [].
  712.  
  713. --------------------------------------------------------------31> 
  714. *** Yes
  715. A = 1, 
  716. AA = [], 
  717. AB = cons, 
  718. AC = cons, 
  719. AD = cons, 
  720. AG = [], 
  721. AH = list, 
  722. AI = list, 
  723. AJ = list, 
  724. AM = disj, 
  725. AN = built_in, 
  726. B = 1, 
  727. C = 1, 
  728. D = 1, 
  729. E = 23.3, 
  730. F = 23.3, 
  731. G = "232", 
  732. H = "232", 
  733. I = "232", 
  734. L = 1, 
  735. M = int, 
  736. N = int, 
  737. O = string, 
  738. P = int, 
  739. Q = real, 
  740. T = 23, 
  741. U = 23, 
  742. V = 23.3, 
  743. W = 23.3, 
  744. X = "23", 
  745. Y = "23", 
  746. Z = [].
  747.  
  748. ----------------------------------------------------------------32> 
  749. *** Yes
  750. A = 1, 
  751. AA = [], 
  752. AB = cons, 
  753. AC = cons, 
  754. AD = cons, 
  755. AG = [], 
  756. AH = list, 
  757. AI = list, 
  758. AJ = list, 
  759. AM = disj, 
  760. AN = built_in, 
  761. AO = 12.2, 
  762. B = 1, 
  763. C = 1, 
  764. D = 1, 
  765. E = 23.3, 
  766. F = 23.3, 
  767. G = "232", 
  768. H = "232", 
  769. I = "232", 
  770. L = 1, 
  771. M = int, 
  772. N = int, 
  773. O = string, 
  774. P = int, 
  775. Q = real, 
  776. T = 23, 
  777. U = 23, 
  778. V = 23.3, 
  779. W = 23.3, 
  780. X = "23", 
  781. Y = "23", 
  782. Z = [].
  783.  
  784. ------------------------------------------------------------------33> 
  785. *** No
  786. A = 1, 
  787. AA = [], 
  788. AB = cons, 
  789. AC = cons, 
  790. AD = cons, 
  791. AG = [], 
  792. AH = list, 
  793. AI = list, 
  794. AJ = list, 
  795. AM = disj, 
  796. AN = built_in, 
  797. AO = 12.2, 
  798. B = 1, 
  799. C = 1, 
  800. D = 1, 
  801. E = 23.3, 
  802. F = 23.3, 
  803. G = "232", 
  804. H = "232", 
  805. I = "232", 
  806. L = 1, 
  807. M = int, 
  808. N = int, 
  809. O = string, 
  810. P = int, 
  811. Q = real, 
  812. T = 23, 
  813. U = 23, 
  814. V = 23.3, 
  815. W = 23.3, 
  816. X = "23", 
  817. Y = "23", 
  818. Z = [].
  819.  
  820. ------------------------------------------------------------------33> 
  821. *** No
  822. A = 1, 
  823. AA = [], 
  824. AB = cons, 
  825. AC = cons, 
  826. AD = cons, 
  827. AG = [], 
  828. AH = list, 
  829. AI = list, 
  830. AJ = list, 
  831. AM = disj, 
  832. AN = built_in, 
  833. AO = 12.2, 
  834. B = 1, 
  835. C = 1, 
  836. D = 1, 
  837. E = 23.3, 
  838. F = 23.3, 
  839. G = "232", 
  840. H = "232", 
  841. I = "232", 
  842. L = 1, 
  843. M = int, 
  844. N = int, 
  845. O = string, 
  846. P = int, 
  847. Q = real, 
  848. T = 23, 
  849. U = 23, 
  850. V = 23.3, 
  851. W = 23.3, 
  852. X = "23", 
  853. Y = "23", 
  854. Z = [].
  855.  
  856. ------------------------------------------------------------------33> 
  857. *** No
  858. A = 1, 
  859. AA = [], 
  860. AB = cons, 
  861. AC = cons, 
  862. AD = cons, 
  863. AG = [], 
  864. AH = list, 
  865. AI = list, 
  866. AJ = list, 
  867. AM = disj, 
  868. AN = built_in, 
  869. AO = 12.2, 
  870. B = 1, 
  871. C = 1, 
  872. D = 1, 
  873. E = 23.3, 
  874. F = 23.3, 
  875. G = "232", 
  876. H = "232", 
  877. I = "232", 
  878. L = 1, 
  879. M = int, 
  880. N = int, 
  881. O = string, 
  882. P = int, 
  883. Q = real, 
  884. T = 23, 
  885. U = 23, 
  886. V = 23.3, 
  887. W = 23.3, 
  888. X = "23", 
  889. Y = "23", 
  890. Z = [].
  891.  
  892. ------------------------------------------------------------------33> 
  893.