tuned;
authorwenzelm
Sat Mar 26 18:51:58 2016 +0100 (2016-03-26)
changeset 627178adf274f5988
parent 62716 d80b9f4990e4
child 62718 27333dc58e28
tuned;
src/Pure/ML/ml_syntax.scala
     1.1 --- a/src/Pure/ML/ml_syntax.scala	Sat Mar 26 16:14:46 2016 +0100
     1.2 +++ b/src/Pure/ML/ml_syntax.scala	Sat Mar 26 18:51:58 2016 +0100
     1.3 @@ -11,11 +11,11 @@
     1.4  {
     1.5    /* int */
     1.6  
     1.7 -  private def signed_int(sign: Boolean, s: String): String =
     1.8 -    if (sign) { assert(s(0) == '-'); "~" + s.substring(1) } else s
     1.9 +  private def signed_int(s: String): String =
    1.10 +    if (s(0) == '-') "~" + s.substring(1) else s
    1.11  
    1.12 -  def print_int(i: Int): String = signed_int(i < 0, Properties.Value.Int(i))
    1.13 -  def print_long(i: Long): String = signed_int(i < 0, Properties.Value.Long(i))
    1.14 +  def print_int(i: Int): String = signed_int(Properties.Value.Int(i))
    1.15 +  def print_long(i: Long): String = signed_int(Properties.Value.Long(i))
    1.16  
    1.17  
    1.18    /* string */