@@ -178,8 +178,6 @@ constructor syn
178178 cn_in <- fnName; fc <- getFC
179179 let cn = expandNS syn cn_in
180180 lchar ':'
181− -- FIXME: 'forcenames' is an almighty hack! Need a better way of
182− -- erasing non-forceable things
183181 fs <- option [] (do lchar '%'; reserved "erase"
184182 sepBy1 name (lchar ','))
185183 ty <- typeExpr (allowImp syn)
@@ -206,7 +204,7 @@ simpleConstructor syn
206204 return (doc', [], cn, args, fc, [])
207205 <?> "constructor"
208206
209−{- | Parses a dsl block declaration
207+{- | Parses a dsl block declaration
210208DSL ::= 'dsl' FnName OpenBlock Overload'+ CloseBlock;
211209 -}
212210dsl :: SyntaxInfo -> IdrisParser PDecl
@@ -235,6 +233,11 @@ dsl syn = do reserved "dsl"
235233
236234{- | Checks DSL for errors -}
237235-- FIXME: currently does nothing, check if DSL is really sane
236+--
237+-- Issue #1595 on the Issue Tracker
238+--
239+-- https://github.com/idris-lang/Idris-dev/issues/1595
240+--
238241checkDSL :: DSL -> IdrisParser ()
239242checkDSL dsl = return ()
240243
@@ -253,5 +256,3 @@ overload syn = do o <- identifier <|> do reserved "let"
253256 return (o, t)
254257 <?> "dsl overload declaratioN"
255258 where overloadable = ["let","lambda","pi","index_first","index_next","variable"]
256−
257−