Commit 1440ffd5 authored by Committed by Edward Z. YangBrowse files
Change Graph.fromList to fromDistinctList and fix conseqeunces
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.