-
Duncan Coutts authored
It's really an error to try and build a graph where you have duplicate node keys, so remove Graph.fromList and add Graph.fromDistinctList. This check is always on, not just an assertion, becuase we get it for free given the way Maps can be constructed. All uses of Graph.fromList are ok to convert to fromDistinctList.
1440ffd5