Project

General

Profile

Revision 7ac15bcf src/types.ml

View differences:

src/types.ml
142 142
      print_ty fmt ty
143 143
  | Tunivar ->
144 144
    fprintf fmt "'%s" (name_of_type ty.tid)
145
  | _   -> assert false
146 145

  
147 146
let pp_error fmt = function
148 147
  | Unbound_value id ->

Also available in: Unified diff