fork(1) download

copy

{-# LANGUAGE FlexibleContexts #-}
 
dist p1 p2 = sqrt (dx*dx + dy*dy)
    where
      dx = (p1.fst) - (p2.fst)
      dy = (p1.snd) - (p2.snd)
 
 
p1 = (1.0,1.0)
p2 = (3.0,3.0)
p3 = (7.0,7.0)
 
 
main = do
  print $ (dist p1 p2) + (dist p2 p3) == (dist p1 p3)  

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

prog.hs:15:17: error:
    • Couldn't match expected type ‘a0 -> c0’
                  with actual type ‘(Double, Double)’
    • In the first argument of ‘dist’, namely ‘p1’
      In the first argument of ‘(+)’, namely ‘(dist p1 p2)’
      In the first argument of ‘(==)’, namely
        ‘(dist p1 p2) + (dist p2 p3)’

prog.hs:15:20: error:
    • Couldn't match expected type ‘a0 -> c0’
                  with actual type ‘(Double, Double)’
    • In the second argument of ‘dist’, namely ‘p2’
      In the first argument of ‘(+)’, namely ‘(dist p1 p2)’
      In the first argument of ‘(==)’, namely
        ‘(dist p1 p2) + (dist p2 p3)’

prog.hs:15:32: error:
    • Couldn't match expected type ‘a0 -> c0’
                  with actual type ‘(Double, Double)’
    • In the first argument of ‘dist’, namely ‘p2’
      In the second argument of ‘(+)’, namely ‘(dist p2 p3)’
      In the first argument of ‘(==)’, namely
        ‘(dist p1 p2) + (dist p2 p3)’

prog.hs:15:35: error:
    • Couldn't match expected type ‘a0 -> c0’
                  with actual type ‘(Double, Double)’
    • In the second argument of ‘dist’, namely ‘p3’
      In the second argument of ‘(+)’, namely ‘(dist p2 p3)’
      In the first argument of ‘(==)’, namely
        ‘(dist p1 p2) + (dist p2 p3)’

prog.hs:15:48: error:
    • Couldn't match expected type ‘a0 -> c0’
                  with actual type ‘(Double, Double)’
    • In the first argument of ‘dist’, namely ‘p1’
      In the second argument of ‘(==)’, namely ‘(dist p1 p3)’
      In the second argument of ‘($)’, namely
        ‘(dist p1 p2) + (dist p2 p3) == (dist p1 p3)’

prog.hs:15:51: error:
    • Couldn't match expected type ‘a0 -> c0’
                  with actual type ‘(Double, Double)’
    • In the second argument of ‘dist’, namely ‘p3’
      In the second argument of ‘(==)’, namely ‘(dist p1 p3)’
      In the second argument of ‘($)’, namely
        ‘(dist p1 p2) + (dist p2 p3) == (dist p1 p3)’

Standard output is empty