Home/ Questions/Q 7701551
In Process

The Archive Base Latest Questions

Editorial Team
  • 0
Asked: 2026-05-31T23:00:51+00:00

The code below will report Syntax error message: type ‘a edge = |Empty |End

  • 0

The code below will report Syntax error message:

type 'a edge = 
  |Empty 
  |End of 'a * 'a vertex * 'a vertex and
type 'a vertex = 
  |Empty
  |Vertex of 'a * 'a edge list;;

How to define two types referring to each other?

Share

Leave an answer

You must login to add an answer.

Need An Account,

1 Answer

  1. Editorial Team

    The second type is not syntactically correct:

    type 'a edge = 
  |Empty 
  |End of 'a * 'a vertex * 'a vertex
and 'a vertex = 
  |Empty
  |Vertex of 'a * 'a edge list;;
    • 0