Catch erroneous (singleton) recursive definitions
We can't safely bypass the extra immediate reference check even when
only one definition is involved in the recursion.
commit2bd5dc46fa95bff3812f4d4e089617a53fefb186
authorDylan Simon <dylan@dylex.net>
dateTue 25 Nov 2014, 21:33 (12 years ago)
parentc68f945
src/Language/PureScript/Sugar/BindingGroups.hs−1
@@ -151,7 +151,6 @@ getProperName _ = error "Expected DataDeclaration"
151151--
152152toBindingGroup :: ModuleName -> SCC Declaration -> Either ErrorStack Declaration
153153toBindingGroup _ (AcyclicSCC d) = return d
154−toBindingGroup _ (CyclicSCC [d]) = return d
155154toBindingGroup moduleName (CyclicSCC ds') =
156155 -- Once we have a mutually-recursive group of declarations, we need to sort
157156 -- them further by their immediate dependencies (those outside function