809c259 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

Added TODOs from ParseData.hs and remove redundant comments.

809c259Jan de Muijnck-Hughes12 years ago

src/Idris/ParseData.hs+6−5

compare with master

unifiedsplit

@@ -178,8 +178,6 @@ constructor syn

178 cn_in <- fnName; fc <- getFC

179 let cn = expandNS syn cn_in

180 lchar ':'

181− -- FIXME: 'forcenames' is an almighty hack! Need a better way of

182− -- erasing non-forceable things

183 fs <- option [] (do lchar '%'; reserved "erase"

181 fs <- option [] (do lchar '%'; reserved "erase"

184 sepBy1 name (lchar ','))

182 sepBy1 name (lchar ','))

185 ty <- typeExpr (allowImp syn)

183 ty <- typeExpr (allowImp syn)

@@ -206,7 +204,7 @@ simpleConstructor syn

206 return (doc', [], cn, args, fc, [])

204 return (doc', [], cn, args, fc, [])

207 <?> "constructor"

205 <?> "constructor"

208

206

209−{- | Parses a dsl block declaration

207+{- | Parses a dsl block declaration

210DSL ::= 'dsl' FnName OpenBlock Overload'+ CloseBlock;

208DSL ::= 'dsl' FnName OpenBlock Overload'+ CloseBlock;

211 -}

209 -}

212dsl :: SyntaxInfo -> IdrisParser PDecl

210dsl :: SyntaxInfo -> IdrisParser PDecl

@@ -235,6 +233,11 @@ dsl syn = do reserved "dsl"

235

233

236{- | Checks DSL for errors -}

234{- | Checks DSL for errors -}

237-- FIXME: currently does nothing, check if DSL is really sane

235-- 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+--

238checkDSL :: DSL -> IdrisParser ()

241checkDSL :: DSL -> IdrisParser ()

239checkDSL dsl = return ()

242checkDSL dsl = return ()

240

243

@@ -253,5 +256,3 @@ overload syn = do o <- identifier <|> do reserved "let"

253 return (o, t)

256 return (o, t)

254 <?> "dsl overload declaratioN"

257 <?> "dsl overload declaratioN"

255 where overloadable = ["let","lambda","pi","index_first","index_next","variable"]

258 where overloadable = ["let","lambda","pi","index_first","index_next","variable"]

256−

257−