File tree Expand file tree Collapse file tree 1 file changed +7
-3
lines changed Expand file tree Collapse file tree 1 file changed +7
-3
lines changed Original file line number Diff line number Diff line change @@ -1882,9 +1882,13 @@ import Dhall
18821882-- >
18831883-- > (input):1:1
18841884--
1885- -- In fact, there are no built-in functions for @Integer@s (or @Double@s) other
1886- -- than @Integer/show@ and @Double/show@. As far as the language is concerned
1887- -- they are opaque values that can only be shuffled around but not used in any
1885+ -- There are no built-in functions for @Integer@ arithmetic; however, conversion
1886+ -- to and from @Natural@s is possible usinng @Integer/clamp@, @Integer/negate@
1887+ -- and @Natural/toInteger@.
1888+ --
1889+ -- For @Double@s the situation is even more extreme: there are no built-in
1890+ -- functions other than @Double/show@. As far as the language is concerned they
1891+ -- are opaque values that can only be shuffled around but not used in any
18881892-- meaningful way until they have been loaded into Haskell.
18891893--
18901894-- Second, the equality @(==)@ and inequality @(!=)@ operators only work on
You can’t perform that action at this time.
0 commit comments