Eliminate consecutive newlines

See https://github.com/DavidAnson/markdownlint/blob/main/doc/Rules.md#md012
This commit is contained in:
Jan Van Bruggen 2022-09-07 22:39:43 -06:00
parent 051059e151
commit 072a6bd002
No known key found for this signature in database
GPG key ID: FE2A4E38E0FA6134
8 changed files with 0 additions and 13 deletions

View file

@ -25,7 +25,6 @@ But we can use these values and some of these are necessary for implementing bui
- ..writing `List.#getUnsafe` that has the dangerous signature of `List elem, Nat -> elem` in LLVM
- ..writing `List elem, Nat -> Result elem [OutOfBounds]*` in a type safe way that uses `getUnsafe` internally, only after it checks if the `elem` at `Nat` index exists.
### can/src/builtins.rs
Right at the top of this module is a function called `builtin_defs`. All this is doing is mapping the `Symbol` defined in `module/src/symbol.rs` to its implementation. Some of the builtins are quite complex, such as `list_get`. What makes `list_get` is that it returns tags, and in order to return tags it first has to defer to lower-level functions via an if statement.