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
1882
1882
-- >
1883
1883
-- > (input):1:1
1884
1884
--
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
1888
1892
-- meaningful way until they have been loaded into Haskell.
1889
1893
--
1890
1894
-- Second, the equality @(==)@ and inequality @(!=)@ operators only work on
You can’t perform that action at this time.
0 commit comments