@@ -25,7 +25,11 @@ module Idris.ASTUtils where
25-- fputState (detag n2) False
25-- fputState (detag n2) False
27-- -- Note that all these operations handle missing items consistently
27-- -- Note that all these operations handle missing items consistently
28−-- -- and transparently, as prescribed by the typeclass InitialValue.
28+-- -- and transparently, as prescribed by the default values included
29+-- -- in the definitions of the ist_* functions.
31+-- -- Especially, it's no longer necessary to have initial values of
32+-- -- data structures copied (possibly inconsistently) all over the compiler.
30import Control.Category
34import Control.Category
31import Control.Applicative
35import Control.Applicative