distinct_from_opt.sql 492 B

12345678910111213
  1. /* syntax version 1 */
  2. /* postgres can not */
  3. select
  4. Null is not distinct from 1/0, --true
  5. 1/0 is distinct from Null, --false
  6. 1u/0u is distinct from 1/0, --false
  7. Just(1u) is not distinct from 1/0, --false
  8. 1u/0u is distinct from Just(1), --true
  9. 1u is distinct from 1, --false
  10. Nothing(Int32??) is distinct from Just(1/0), --true
  11. 1 is not distinct from Just(Just(1u)), --true
  12. ;