/src-extra/tests/Database/HsSqlPpp/Tests/TypeChecking/MiscExpressions.lhs

http://github.com/JakeWheat/hssqlppp · Haskell · 63 lines · 56 code · 7 blank · 0 comment · 0 complexity · 8de757c8b158768297e6939a8115fd11 MD5 · raw file 

    

  1. > module Database.HsSqlPpp.Tests.TypeChecking.MiscExpressions
    2. 

  2. >     (miscExpressionsTestData) where
    3. 

  3. >
    4. 

  4. > import Database.HsSqlPpp.Tests.TypeChecking.Utils
    5. 

  5. 

  6. > import Database.HsSqlPpp.Types
    7. 

  7. >
    8. 

  8. >
    9. 

  9. > miscExpressionsTestData :: Item
    10. 

  10. > miscExpressionsTestData =
    11. 

  11. >   Group "misc expressions" [
    12. 

  12. 

  13. ~~~~
    14. 

  14. implicit casting and function/operator choice tests:
    15. 

  15. check when multiple implicit and one exact match on num args
    16. 

  16. check multiple matches with num args, only one with implicit conversions
    17. 

  17. check multiple implicit matches with one preferred
    18. 

  18. check multiple implicit matches with one preferred highest count
    19. 

  19. check casts from unknown string lits
    20. 

  20. ~~~~
    21. 

  21. 

  22. >   Group "some expressions" [
    23. 

  23. >       e "3 + '4'" $ Right typeInt
    24. 

  24. >      ,e "3.0 + '4'" $ Right typeNumeric
    25. 

  25. >      ,e "'3' + '4'" $ Left [NoMatchingOperator "+" [UnknownType
    26. 

  26. >                                                    ,UnknownType]]
    27. 

  27. >      ]
    28. 

  28. >   ,Group "exists expressions" [
    29. 

  29. >       e "exists (select 1 from pg_type)" $ Right typeBool
    30. 

  30. >      ,e "exists (select testit from pg_type)"
    31. 

  31. >        $ Left [UnrecognisedIdentifier "testit"]
    32. 

  32. >      ]
    33. 

  33. 

  34. >   ,Group "polymorphic functions" [
    35. 

  35. >       e "array_append(ARRAY[1,2], 3)"
    36. 

  36. >         $ Right (ArrayType typeInt)
    37. 

  37. >      ,e "array_append(ARRAY['a','b'], 'c')"
    38. 

  38. >         $ Right (ArrayType UnknownType)
    39. 

  39. >      ,e "array_append(ARRAY['a','b'], 'c'::text)"
    40. 

  40. >         $ Right (ArrayType $ ScalarType "text")
    41. 

  41. >      ,e "array_append(ARRAY['a','b'::text], 'c')"
    42. 

  42. >         $ Right (ArrayType $ ScalarType "text")
    43. 

  43. >      ,e "array_append(ARRAY['a'::int,'b'], 'c')"
    44. 

  44. >         $ Right (ArrayType typeInt)
    45. 

  45. >      ]
    46. 

  46. 

  47. >   ,Group "cast expressions" [
    48. 

  48. >       e "cast ('1' as integer)"
    49. 

  49. >         $ Right typeInt
    50. 

  50. >      ,e "cast ('1' as baz)"
    51. 

  51. >         $ Left [UnknownTypeName "baz"]
    52. 

  52. >      ,e "array[]" -- FIXME: this isn't quite right but not sure how to do it atm
    53. 

  53. >                   -- no point fixing this case since need a load of other
    54. 

  54. >                   -- test cases where the behaviour is different
    55. 

  55. >         $ Right (Pseudo AnyArray) -- Left [TypelessEmptyArray]
    56. 

  56. >      ,e "array[] :: text[]"
    57. 

  57. >         $ Right (ArrayType (ScalarType "text"))
    58. 

  58. >      ]
    59. 

  59. 

  60. >      ]
    61. 

  61. >  where
    62. 

  62. >    e = Expr
    63.