@@ 355,16 355,6 @@ module Dhall end
end
- class Number
- end
-- class Natural; end
- class Integer; end
- class Double; end
-- class Text
- end
- class TextLiteral
def normalize
TextLiteral.for(*super.flatten.chunks)
@@ 377,9 367,6 @@ module Dhall end
end
- class Import
- end
- class LetIn
def normalize
desugar.normalize