Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

[enhance] stdlib, types: Just add stringifier for OpaType.ty

  • Loading branch information...
commit b7f011a7b760ba1f60beffe263d253cfa580abb0 1 parent f6cb10d
@BourgerieQuentin BourgerieQuentin authored
Showing with 2 additions and 2 deletions.
  1. +2 −2 stdlib/core/opatype.opa
View
4 stdlib/core/opatype.opa
@@ -1,5 +1,5 @@
/*
- Copyright © 2011 MLstate
+ Copyright © 2011, 2012 MLstate
This file is part of OPA.
@@ -326,7 +326,7 @@ OpaType = {{
* Returns a pretty string representation of [ty].
* do not use magic_to_string and other magic functions, or we get a cycle
*/
- to_pretty(ty : OpaType.ty)=
+ @stringifier(OpaType.ty) to_pretty(ty : OpaType.ty)=
rec aux_ty_const(ty_const : OpaType.ty_const) =
match ty_const with
| {TyInt} -> "int"
Please sign in to comment.
Something went wrong with that request. Please try again.