[formatting] Raise default width to 100 columns

compiler-executable/iris-cli/src/cli.rs

@@ -59,7 +59,7 @@ pub struct FormatOptions {
     #[usage(arg_group)]
     pub mode: Option<FormatMode>,
 
-    /// Preferred line width. Defaults to 80 columns.
+    /// Preferred line width. Defaults to 100 columns.
     #[usage(long, value_name = "COLUMNS")]
     pub width: Option<usize>,
 

compiler-frontend/formatting/src/lib.rs

@@ -22,7 +22,7 @@ pub struct Config {
 
 impl Default for Config {
     fn default() -> Config {
-        Config { line_width: 80, indent_width: 2, unicode: false }
+        Config { line_width: 100, indent_width: 2, unicode: false }
     }
 }
 

documentation/formatting.md

@@ -31,7 +31,7 @@ iris format --width 100 --indent 4 --unicode
 |--------|----------|
 | `--check` | List unformatted paths and exit with status 1 when changes are needed, without modifying files |
 | `--write` | Replace selected files with formatted output; the default in workspace mode |
-| `--width COLUMNS` | Preferred line width; a positive value, defaulting to 80 |
+| `--width COLUMNS` | Preferred line width; a positive value, defaulting to 100 |
 | `--indent SPACES` | Spaces per indentation level; from 1 to 65535, defaulting to 2 |
 | `--unicode` | Emit Unicode built-in signatures, arrows, constraints, and quantifiers |