Project

General

Profile

Revision 9b0432bc lib/delay.ml

View differences:

lib/delay.ml
24 24
  | Dtuple of delay_expr list
25 25
  | Dlink of delay_expr (* During unification, make links instead of substitutions *)
26 26
  | Dunivar (* Polymorphic type variable *)
27
[@@deriving show]
28

  
27 29
type error =
28 30
  | Delay_clash of delay_expr * delay_expr
29 31

  

Also available in: Unified diff