Uni import fails when fromSingleton does not take as input a singleton, but rather a larger array.
uni import --target=Mips pgp.language.readstr.mir -o pgp.language.readstr.uni --function=readstr --maxblocksize=50 --goal=speed
Results in:
uni: src/Common/Util.hs:90:1-21: Non-exhaustive patterns in function fromSingleton
pgp.language.readstr.tar.gz