From 04f648e4b652a64a9d2bf3aa623821e971cd5a40 Mon Sep 17 00:00:00 2001 From: Adam Wick Date: Sun, 13 Aug 2023 21:15:17 -0700 Subject: [PATCH] Formatting. --- src/type_infer.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/type_infer.rs b/src/type_infer.rs index a9ac1f5..0402998 100644 --- a/src/type_infer.rs +++ b/src/type_infer.rs @@ -1,9 +1,9 @@ //! A type inference pass for NGR -//! +//! //! The type checker implemented here is a relatively straightforward one, designed to be //! fairly easy to understand rather than super fast. So don't be expecting the fastest //! type checker in the West, here. -//! +//! //! The actual type checker operates in three phases. In the first phase, we translate //! the syntax AST into something that's close to the final IR. During the process, we //! generate a list of type constraints to solve. In the second phase, we try to solve