many_opt_comp.sql 2.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104
  1. /* postgres can not */
  2. select AsTuple(
  3. Just(Just(1)) == Just(Just(2u)),
  4. Just(Just(1)) == Just(2u),
  5. Just(1) == Just(Just(2u)),
  6. 1 == Just(Just(2u)),
  7. Just(Just(1)) == Just(Just(1u)),
  8. Just(Just(1)) == Just(1u),
  9. Just(1) == Just(Just(1u)),
  10. 1 == Just(Just(1u)),
  11. Just(Just(2)) == Just(Just(1u)),
  12. Just(Just(2)) == Just(1u),
  13. Just(2) == Just(Just(1u)),
  14. 2 == Just(Just(1u))
  15. );
  16. select AsTuple(
  17. Just(Just(1)) != Just(Just(2u)),
  18. Just(Just(1)) != Just(2u),
  19. Just(1) != Just(Just(2u)),
  20. 1 != Just(Just(2u)),
  21. Just(Just(1)) != Just(Just(1u)),
  22. Just(Just(1)) != Just(1u),
  23. Just(1) != Just(Just(1u)),
  24. 1 != Just(Just(1u)),
  25. Just(Just(2)) != Just(Just(1u)),
  26. Just(Just(2)) != Just(1u),
  27. Just(2) != Just(Just(1u)),
  28. 2 != Just(Just(1u))
  29. );
  30. select AsTuple(
  31. Just(Just(1)) < Just(Just(2u)),
  32. Just(Just(1)) < Just(2u),
  33. Just(1) < Just(Just(2u)),
  34. 1 < Just(Just(2u)),
  35. Just(Just(1)) < Just(Just(1u)),
  36. Just(Just(1)) < Just(1u),
  37. Just(1) < Just(Just(1u)),
  38. 1 < Just(Just(1u)),
  39. Just(Just(2)) < Just(Just(1u)),
  40. Just(Just(2)) < Just(1u),
  41. Just(2) < Just(Just(1u)),
  42. 2 < Just(Just(1u))
  43. );
  44. select AsTuple(
  45. Just(Just(1)) <= Just(Just(2u)),
  46. Just(Just(1)) <= Just(2u),
  47. Just(1) <= Just(Just(2u)),
  48. 1 <= Just(Just(2u)),
  49. Just(Just(1)) <= Just(Just(1u)),
  50. Just(Just(1)) <= Just(1u),
  51. Just(1) <= Just(Just(1u)),
  52. 1 <= Just(Just(1u)),
  53. Just(Just(2)) <= Just(Just(1u)),
  54. Just(Just(2)) <= Just(1u),
  55. Just(2) <= Just(Just(1u)),
  56. 2 <= Just(Just(1u))
  57. );
  58. select AsTuple(
  59. Just(Just(1)) > Just(Just(2u)),
  60. Just(Just(1)) > Just(2u),
  61. Just(1) > Just(Just(2u)),
  62. 1 > Just(Just(2u)),
  63. Just(Just(1)) > Just(Just(1u)),
  64. Just(Just(1)) > Just(1u),
  65. Just(1) > Just(Just(1u)),
  66. 1 > Just(Just(1u)),
  67. Just(Just(2)) > Just(Just(1u)),
  68. Just(Just(2)) > Just(1u),
  69. Just(2) > Just(Just(1u)),
  70. 2 > Just(Just(1u))
  71. );
  72. select AsTuple(
  73. Just(Just(1)) >= Just(Just(2u)),
  74. Just(Just(1)) >= Just(2u),
  75. Just(1) >= Just(Just(2u)),
  76. 1 >= Just(Just(2u)),
  77. Just(Just(1)) >= Just(Just(1u)),
  78. Just(Just(1)) >= Just(1u),
  79. Just(1) >= Just(Just(1u)),
  80. 1 >= Just(Just(1u)),
  81. Just(Just(2)) >= Just(Just(1u)),
  82. Just(Just(2)) >= Just(1u),
  83. Just(2) >= Just(Just(1u)),
  84. 2 >= Just(Just(1u))
  85. );