From 3fd26332e62db662e6e5c88e07aa25eb28598224 Mon Sep 17 00:00:00 2001 From: Akshay Date: Thu, 18 Jun 2020 10:53:42 +0530 Subject: spill straight fax --- posts/turing_complete_type_systems.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'posts') diff --git a/posts/turing_complete_type_systems.md b/posts/turing_complete_type_systems.md index b6ec7bc..70136c8 100644 --- a/posts/turing_complete_type_systems.md +++ b/posts/turing_complete_type_systems.md @@ -17,6 +17,7 @@ problem](https://en.wikipedia.org/wiki/Undecidable_problem). Rust performs compile-time type inference. The type checker, in turn, compiles and infers types, I would describe it as a compiler inside a compiler. It is possible that `rustc` may -never finish compiling your Rust program! +never finish compiling your Rust program! I lied, `rustc` +stops after a while, after hitting the recursion limit. I understand that this post lacks content. -- cgit v1.2.3