git.iko.soy/Idris-dev
on master help sign in
Added TODOs for Unlit.hs
c5eb90cJan de Muijnck-Hughes
src/Idris/Unlit.hs+4−2
compare with master
unifiedsplit
@@ -23,9 +23,11 @@ check f l (a:b:cs) = do chkAdj f l (fst a) (fst b)
23check f l [x] = return ()
23check f l [x] = return ()
24check f l [] = return ()
24check f l [] = return ()
25
25
26+-- Issue #1593 on the issue checker.
27+--
28+-- https://github.com/idris-lang/Idris-dev/issues/1593
29+--
26chkAdj :: FilePath -> Int -> LineType -> LineType -> TC ()
30chkAdj :: FilePath -> Int -> LineType -> LineType -> TC ()
27chkAdj f l Prog Comm = tfail $ At (FC f (l, 0) (l, 0)) ProgramLineComment --TODO: Span correctly
31chkAdj f l Prog Comm = tfail $ At (FC f (l, 0) (l, 0)) ProgramLineComment --TODO: Span correctly
28chkAdj f l Comm Prog = tfail $ At (FC f (l, 0) (l, 0)) ProgramLineComment --TODO: Span correctly
32chkAdj f l Comm Prog = tfail $ At (FC f (l, 0) (l, 0)) ProgramLineComment --TODO: Span correctly
29chkAdj f l _ _ = return ()
33chkAdj f l _ _ = return ()
30−
31−