@@ -25,7 +25,11 @@ module Idris.ASTUtils where
2525-- fputState (detag n2) False
2626--
2727-- -- 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.
30+-- --
31+-- -- Especially, it's no longer necessary to have initial values of
32+-- -- data structures copied (possibly inconsistently) all over the compiler.
2933
3034import Control.Category
3135import Control.Applicative