PureScript. Argument list lengths differ in declaration

Question

import Prelude

data Line = Front | Middle | Back

derive instance eqLine :: Eq Line

instance ordLine :: Ord Line where
  compare a b | a == b = EQ
  compare Front _ = LT
  compare Back _ = GT
  compare = flip compare

Why does this give me the error 'Argument list lengths differ in declaration compare'. But if I change the last line to

compare a b = flip compare a b

then it compiles.
I thought flip compare returns a function of 2 args hence matches signature of compare, but apparently it doesn't.
Repl:

> :type flip compare
forall (t4 :: Type). Ord t4 => t4 -> t4 -> Ordering

Fyodor Soikin · Accepted Answer · 2022-09-12 17:50:01Z

2

It's just a syntax requirement. If you provide several equations for a function, they all have to have the same number of arguments. Syntactically, not logically.

This is required as a confusion-reducing measure. Just so that whoever is reading your program months later can see what's going on clearer.

answered Sep 12, 2022 at 17:50

Fyodor Soikin

81.3k10 gold badges134 silver badges179 bronze badges

Sign up to request clarification or add additional context in comments.

Collectives™ on Stack Overflow

PureScript. Argument list lengths differ in declaration

1 Answer 1

Comments

Your Answer

Hot Network Questions

Collectives™ on Stack Overflow

1 Answer 1

Comments

Your Answer

Sign up or log in

Post as a guest

Related