{"action":"reopened","issue":{"url":"https://api.github.com/repos/epfl-lara/leon/issues/98","labels_url":"https://api.github.com/repos/epfl-lara/leon/issues/98/labels{/name}","comments_url":"https://api.github.com/repos/epfl-lara/leon/issues/98/comments","events_url":"https://api.github.com/repos/epfl-lara/leon/issues/98/events","html_url":"https://github.com/epfl-lara/leon/issues/98","id":74343462,"number":98,"title":"leon.collection.List.foldRight inconsistent with scala.collection.immutable.List.foldRight","user":{"login":"olafurpg","id":1408093,"avatar_url":"https://avatars.githubusercontent.com/u/1408093?v=3","gravatar_id":"","url":"https://api.github.com/users/olafurpg","html_url":"https://github.com/olafurpg","followers_url":"https://api.github.com/users/olafurpg/followers","following_url":"https://api.github.com/users/olafurpg/following{/other_user}","gists_url":"https://api.github.com/users/olafurpg/gists{/gist_id}","starred_url":"https://api.github.com/users/olafurpg/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/olafurpg/subscriptions","organizations_url":"https://api.github.com/users/olafurpg/orgs","repos_url":"https://api.github.com/users/olafurpg/repos","events_url":"https://api.github.com/users/olafurpg/events{/privacy}","received_events_url":"https://api.github.com/users/olafurpg/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2015-05-08T12:13:48Z","updated_at":"2015-05-08T14:58:43Z","closed_at":null,"body":"The signature of `scala.collection.immutable.List.foldRight` is\r\n```scala\r\n  override def foldRight[B](z: B)(op: (A, B) => B): B\r\n```\r\nwhile for `leon.collection.List.foldRight` it's\r\n```scala\r\n  def foldRight[R](f: (T,R) => R)(z: R): R\r\n```\r\nIt would be nice to have the two consistent with each other.\r\n\r\n\r\n"}}