Mercurial > urweb

comparison lib/ur/list.ur @ 1481:3061d1bf4b2d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
recToList
author Robin Green <greenrd@greenrd.org>
date Mon, 27 Jun 2011 21:36:32 +0100
parents d328983dc5a6
children ada582d07ae1
comparison
equal deleted inserted replaced
1480:aa0c6382aa57 1481:3061d1bf4b2d
351 351
352 fun assocAdd [a] [b] (_ : eq a) (x : a) (y : b) (ls : t (a * b)) = 352 fun assocAdd [a] [b] (_ : eq a) (x : a) (y : b) (ls : t (a * b)) =
353 case assoc x ls of 353 case assoc x ls of
354 None => (x, y) :: ls 354 None => (x, y) :: ls
355 | Some _ => ls 355 | Some _ => ls
356
357 fun recToList [a ::: Type] [r ::: {Unit}] (fl : folder r)
358 = @foldUR [a] [fn _ => list a] (fn [nm ::_] [rest ::_] [[nm] ~ rest] x xs =>
359 x :: xs) [] fl