Merge pull request #16 from teh/master

Parse number as scientific and interpret meaning separately.

Data/GraphQL/Parser.hs

@@ -8,14 +8,14 @@ import Control.Applicative ((<|>), empty, many, optional)
 import Control.Monad (when)
 import Data.Char (isDigit, isSpace)
 import Data.Foldable (traverse_)
+import Data.Scientific (floatingOrInteger)
 
 import Data.Text (Text, append)
 import Data.Attoparsec.Text
   ( Parser
   , (<?>)
   , anyChar
-  , decimal
+  , scientific
-  , double
   , endOfLine
   , inClass
   , many1
@@ -23,7 +23,6 @@ import Data.Attoparsec.Text
   , option
   , peekChar
   , sepBy1
-  , signed
   , takeWhile
   , takeWhile1
   )
@@ -149,9 +148,7 @@ typeCondition = namedType
 -- explicit types use the `typedValue` parser.
 value :: Parser Value
 value = ValueVariable <$> variable
-    -- TODO: Handle maxBound, Int32 in spec.
+    <|> number
-    <|> ValueInt      <$> tok (signed decimal)
-    <|> ValueFloat    <$> tok (signed double)
     <|> ValueBoolean  <$> booleanValue
     <|> ValueString   <$> stringValue
     -- `true` and `false` have been tried before
@@ -159,6 +156,13 @@ value = ValueVariable <$> variable
     <|> ValueList     <$> listValue
     <|> ValueObject   <$> objectValue
     <?> "value error!"
+  where
+    number =  do
+      v <- scientific
+      case floatingOrInteger v of
+        Left r -> pure (ValueFloat r)
+        -- TODO: Handle maxBound, Int32 in spec.
+        Right i -> pure (ValueInt i)
 
 booleanValue :: Parser Bool
 booleanValue = True  <$ tok "true"

graphql.cabal

@@ -34,7 +34,8 @@ library
                        attoparsec >= 0.10.4.0,
                        base >= 4.7 && < 5,
                        text >= 0.11.3.1,
-                       unordered-containers >= 0.2.5.0
+                       unordered-containers >= 0.2.5.0,
+                       scientific >=0.3.1 && <0.4
   if impl(ghc >= 8.0)
     ghc-options: -Wcompat -Wnoncanonical-monad-instances -Wnoncanonical-monadfail-instances
   else