unison icon indicating copy to clipboard operation
unison copied to clipboard

Published 20 hours ago • verified publisher icon unisonweb

Error message says "vector" instead of "list"

Open pchiusano opened this issue 2 years ago • 1 comments

image

That should say "elements of a list"

pchiusano avatar Aug 25 '22 15:08 pchiusano

Look in PrintError.hs to fix.

pchiusano avatar Aug 25 '22 15:08 pchiusano

Fixed by #3380 !

ceedubs avatar Sep 30 '22 23:09 ceedubs