Skip to content

Latest commit

 

History

History
22 lines (16 loc) · 381 Bytes

3001.md

File metadata and controls

22 lines (16 loc) · 381 Bytes

3001

A name that was not declared infix was used as infix.

datatype t = C of int * int
fun bad (a C b) = a + b
(**          ^ non-infix name used as infix *)

To fix

Use the name as non-infix, or declare the name as infix.

datatype t = C of int * int
fun useAsNonInfix (C (a, b)) = a + b
infix C
fun useAsInfix (a C b) = a + b