Skip to content
  • Pablo de Oliveira's avatar
    checkLow should occur before plaining. · cbc954b1
    Pablo de Oliveira authored and Roland Levillain's avatar Roland Levillain committed
    
    
    	* src/Main.hs (evalM): Here.
    	In some cases, plaining removes nested seqs in the original
    	program.  If plaining happens first, checkLow may accept a
    	program as valid LIR when in fact the original program
    	contained nested seqs.
    	* tests/nestedseq.hir,
    	* tests/nestedseq.test:
    	New test.
    	* tests/Makefile.am (TESTS): Add nestedseq.test.
    	(EXTRA_DIST): Add nestedseq.hir.
    
    Signed-off-by: default avatarRoland Levillain <roland@lrde.epita.fr>
    cbc954b1