Format improvements (WIP)

src/ast/meta.rs

@@ -576,7 +576,7 @@ impl ToMeta for f32 {
     fn to_meta(&self) -> Meta { Meta::Scalar(sp!((*self).into())) }
 }
 impl ToMeta for bool {
-    fn to_meta(&self) -> Meta { Meta::Scalar(sp!(ast::Expr::LitInt { value: *self as i32, radix: ast::IntRadix::Bool })) }
+    fn to_meta(&self) -> Meta { Meta::Scalar(sp!(ast::Expr::LitInt { value: *self as i32, format: ast::IntFormat { unsigned: true, radix: ast::IntRadix::Bool } })) }
 }
 impl ToMeta for String {
     fn to_meta(&self) -> Meta { Meta::Scalar(sp!(self.to_owned().into())) }

src/ast/mod.rs

@@ -455,7 +455,7 @@ pub enum Expr {
         value: raw::LangInt,
         /// A hint to the formatter on how it should write the integer.
         /// (may not necessarily represent the original radix of a parsed token)
-        radix: IntRadix,
+        format: IntFormat,
     },
     LitFloat { value: raw::LangFloat },
     LitString(LitString),
@@ -469,14 +469,18 @@ pub enum Expr {
     },
 }
 
-#[derive(Debug, Copy, Clone, PartialEq, Eq, PartialOrd, Ord, Hash)]
+#[derive(Debug, Copy, Clone, PartialEq, Eq)]
+pub struct IntFormat {
+    pub unsigned: bool,
+    pub radix: IntRadix,
+}
+
+#[derive(Debug, Copy, Clone, PartialEq, Eq, PartialOrd, Ord)]
 pub enum IntRadix {
     /// Display as decimal.
     Dec,
     /// Display as hexadecimal, with an `0x` prefix.
     Hex,
-    /// Display as potentially negative hexadecimal, with an `0x` prefix.
-    SignedHex,
     /// Display as binary, with an `0b` prefix.
     Bin,
     /// Use `true` and `false` if the value is `1` or `0`.  Otherwise, fall back to decimal.
@@ -842,7 +846,7 @@ string_enum! {
 }
 
 impl From<raw::LangInt> for Expr {
-    fn from(value: raw::LangInt) -> Expr { Expr::LitInt { value, radix: IntRadix::Dec } }
+    fn from(value: raw::LangInt) -> Expr { Expr::LitInt { value, format: IntFormat { unsigned: false, radix: IntRadix::Dec } } }
 }
 impl From<raw::LangFloat> for Expr {
     fn from(value: raw::LangFloat) -> Expr { Expr::LitFloat { value } }
@@ -1257,7 +1261,7 @@ macro_rules! generate_visitor_stuff {
                 Expr::XcrementOp { op: _, order: _, var } => {
                     v.visit_var(var);
                 },
-                Expr::LitInt { value: _, radix: _ } => {},
+                Expr::LitInt { value: _, format: _ } => {},
                 Expr::LitFloat { value: _ } => {},
                 Expr::LitString(_s) => {},
                 Expr::LabelProperty { .. } => {},

src/context/defs.rs

@@ -1114,34 +1114,18 @@ impl Signature {
         signature_from_func_ast(ty_keyword, params)
     }
 
-    pub(crate) fn validate(&self, ctx: &CompilerContext) -> Result<(), ErrorReported> {
-        self._check_non_optional_after_optional(ctx)
-    }
-
-    fn _check_non_optional_after_optional(&self, ctx: &CompilerContext) -> Result<(), ErrorReported> {
-        let mut first_optional = None;
-        for param in self.params.iter() {
-            if param.default.is_some() {
-                first_optional = Some(param);
-            } else if let Some(optional) = first_optional {
-                return Err(ctx.emitter.emit(error!(
-                    message("invalid function signature"),
-                    secondary(optional.useful_span, "optional parameter"),
-                    primary(param.useful_span, "non-optional parameter after optional"),
-                )));
-            }
-        }
+    pub(crate) fn validate(&self, _ctx: &CompilerContext) -> Result<(), ErrorReported> {
         Ok(())
     }
 
     /// Minimum number of arguments accepted.
     pub fn min_args(&self) -> usize {
-        self.params.iter().take_while(|param| param.default.is_none()).count()
+        self.params.iter().fold(0, |count, param| count + param.default.is_none() as usize)
     }
 
     /// Maximum number of arguments accepted.
     pub fn max_args(&self) -> usize {
-        self.params.len()
+        self.min_args()
     }
 
     /// Matches arguments at a call site to their corresponding parameters.