@@ -23,9 +23,11 @@ check f l (a:b:cs) = do chkAdj f l (fst a) (fst b)
2323check f l [x] = return ()
2424check f l [] = return ()
2525
26+-- Issue #1593 on the issue checker.
27+--
28+-- https://github.com/idris-lang/Idris-dev/issues/1593
29+--
2630chkAdj :: FilePath -> Int -> LineType -> LineType -> TC ()
2731chkAdj f l Prog Comm = tfail $ At (FC f (l, 0) (l, 0)) ProgramLineComment --TODO: Span correctly
2832chkAdj f l Comm Prog = tfail $ At (FC f (l, 0) (l, 0)) ProgramLineComment --TODO: Span correctly
2933chkAdj f l _ _ = return ()
30−
31−