feat: support negative numbers and fixed type warnings in scripts

Author: nos1dot618

README.md

@@ -49,5 +49,4 @@ lbd [options]
 
 ## TODO
 
-- TODO: Add build instructions for Windows (MSVC toolchain).
 - TODO: Provide better examples (e.g., Advent of Code snippets).

examples/std.lbd

@@ -6,14 +6,26 @@ false: Bool = \x: Any. \y: Any. y
 
 if_then: Any = \condition: Any.
     \then_clause: Any. \else_clause: Any.
-    (condition then_clause else_clause)
+        (condition then_clause else_clause)
 
 -- pairs
 pair: Any = \x: Any. \y: Any. \fn: Any. (fn x y)
 
 first: Any = \x: Any. \y: Any. x
 second: Any = \x: Any. \y: Any. y
 
--- misc
-float_eq: Float -> Float -> Bool = \x: Float. \y: Float.
-    (if_zero (cmp x y) true false)
+-- Relational Operators
+eq: Float -> Float -> Bool = \x: Float. \y: Float.
+    (if_zero (cmp x y) true false)
+
+lt: Float -> Float -> Bool = \x: Float. \y: Float.
+    (if_zero (cmp (cmp x y) -1) true false)
+
+gt: Float -> Float -> Bool = \x: Float. \y: Float.
+    (if_zero (cmp (cmp x y) 1) true false)
+
+lte: Float -> Float -> Bool = \x: Float. \y: Float.
+    (if_zero (cmp x y) true (if_zero (cmp (cmp x y) -1) true false))
+
+gte: Float -> Float -> Bool = \x: Float. \y: Float.
+    (if_zero (cmp x y) true (if_zero (cmp (cmp x y) 1) true false))

scripts/dump_todo.py

@@ -23,7 +23,9 @@
     with open(GITIGNORE_PATH, "r", encoding="utf-8") as f:
         spec = pathspec.PathSpec.from_lines("gitwildmatch", f)
 
+root: str
 for root, _, files in os.walk(BASE_DIR):
+    filename: str
     for filename in files:
         filepath: str = os.path.join(root, filename)
         rel_path: str = os.path.relpath(filepath, BASE_DIR)

src/fe/lexer.cpp

@@ -66,9 +66,7 @@ namespace fe::lexer {
             const std::string value = source.substr(start, pos - start);
             return {token::Iden{value}, cur_loc};
         }
-        // Float
-        // TODO: Negative numbers
-        if (std::isdigit(c)) {
+        auto lex_float = [this, &c]() -> double {
             const size_t start = pos;
             while (std::isdigit(c)) {
                 get();
@@ -83,7 +81,11 @@ namespace fe::lexer {
                 }
             }
             const double value = std::stod(source.substr(start, pos - start));
-            return {token::Float{value}, cur_loc};
+            return value;
+        };
+        // Positive Float
+        if (std::isdigit(c)) {
+            return {token::Float(lex_float()), cur_loc};
         }
         // String Literal: " ... "
         if (c == '"') {
@@ -138,6 +140,10 @@ namespace fe::lexer {
                     // After skipping comment, return the next token
                     return next_token();
                 }
+                // Negative Float
+                if (std::isdigit(c)) {
+                    return {token::Float(-lex_float()), cur_loc};
+                }
                 break;
             default:
                 break;

src/repl.cpp

@@ -5,6 +5,9 @@
 #include "lbd/fe/parser.h"
 #include "lbd/intp/interpreter.h"
 
+// TODO: Implement loading a file to repl
+//       syntax: :load <filepath> or :l <filepath>
+
 namespace repl {
     static bool force_on_env_dump = false;
     static bool debug_enabled = false;