Compiler hangs on fancy list syntax

[dmalikov]

The following program hangs on compilation (via idris Stuck.idr -o stuck):

module Main

%default total

f : (Eq a, Show a) => a -> a -> IO ()
f _ _ = pure ()

partial main : IO ()
main =
  f
    [ 10, 21,  5, 22, 11,  1, 12,  6, 13,  3, 14, 7
    ] [1,2]

It looks like the fancy long list become an issue for compiler. Reducing it a bit makes the compilation finish.

Steps to Reproduce

idris Stuck.idr -o stuck the program listed above.

Expected Behavior

The compilation finishes.

Observed Behavior

Compilation appears to hang.

$> idris -v
1.3.0