fork(1) download

copy

sqrtEquation :: (Floating a, Floating b, Floating c) => a -> b -> c -> String
sqrtEquation a b c
  | d < 0 = "No solutions"
  | d == 0 = (show x1)
  | d > 0 = (show x1) ++ " and " ++ (show x2)
  where d = (b*b - 4*a*c)
        x1 = ((-b + sqrt(d))/2*a)
	x2 = ((-b - sqrt(d))/2*a)
 
 
main = do
  putStr "Input a:"
  a <- getLine
  putStr "Input b:"
  b <- getLine
  putStr "Input c:"
  c <- getLine
  let result = sqrtEquation (read a) (read b) $ read c
  putStrLn result

[1 of 1] Compiling Main             ( prog.hs, prog.o )

prog.hs:6:22:
    Could not deduce (a ~ b)
    from the context (Floating a, Floating b, Floating c)
      bound by the type signature for
                 sqrtEquation :: (Floating a, Floating b, Floating c) =>
                                 a -> b -> c -> String
      at prog.hs:1:17-77
      `a' is a rigid type variable bound by
          the type signature for
            sqrtEquation :: (Floating a, Floating b, Floating c) =>
                            a -> b -> c -> String
          at prog.hs:1:17
      `b' is a rigid type variable bound by
          the type signature for
            sqrtEquation :: (Floating a, Floating b, Floating c) =>
                            a -> b -> c -> String
          at prog.hs:1:17
    Relevant bindings include
      d :: b (bound at prog.hs:6:9)
      b :: b (bound at prog.hs:2:16)
      a :: a (bound at prog.hs:2:14)
      sqrtEquation :: a -> b -> c -> String (bound at prog.hs:2:1)
    In the second argument of `(*)', namely `a'
    In the first argument of `(*)', namely `4 * a'

prog.hs:6:24:
    Could not deduce (c ~ b)
    from the context (Floating a, Floating b, Floating c)
      bound by the type signature for
                 sqrtEquation :: (Floating a, Floating b, Floating c) =>
                                 a -> b -> c -> String
      at prog.hs:1:17-77
      `c' is a rigid type variable bound by
          the type signature for
            sqrtEquation :: (Floating a, Floating b, Floating c) =>
                            a -> b -> c -> String
          at prog.hs:1:17
      `b' is a rigid type variable bound by
          the type signature for
            sqrtEquation :: (Floating a, Floating b, Floating c) =>
                            a -> b -> c -> String
          at prog.hs:1:17
    Relevant bindings include
      d :: b (bound at prog.hs:6:9)
      c :: c (bound at prog.hs:2:18)
      b :: b (bound at prog.hs:2:16)
      sqrtEquation :: a -> b -> c -> String (bound at prog.hs:2:1)
    In the second argument of `(*)', namely `c'
    In the second argument of `(-)', namely `4 * a * c'

Standard output is empty