Skip to content
Snippets Groups Projects

Panic on compile of file with a hole and nothing else

    • Closed Issue created by Matthías Páll Gissurarson @Tritlo

    The example is very simple, just:

    test :: Int -> Int
test = _

    which produces the panic:

    [1 of 1] Compiling Main             ( manyIdsTest.hs, manyIdsTest.o )
ghc: panic! (the 'impossible' happened)
  (GHC version 8.0.2 for x86_64-apple-darwin):
	initTc: unsolved constraints
  WC {wc_insol = [W] __awc :: t_awb[tau:1] (CHoleCan: _)}

    I suspect that there might be a missing case when there is nothing else in scope, since

    test :: Int -> Int
test = _

main :: IO ()
main = return ()

    compiles just fine (i.e. with no panic, but still reports the typed hole.

    Edited
    To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information

    Child items 0

    • No child items are currently assigned. Use child items to break down this issue into smaller parts.

    Activity

    Please register or sign in to reply