From e00af962a3e62bf221c5ed16127acb833821c7cd Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Wed, 1 Apr 2026 16:53:59 +0200 Subject: Fix UI following change in commands output MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit There should really exist tests for that 🙄 --- lambda-calcul/haskell/public/repl.js | 2 ++ 1 file changed, 2 insertions(+) diff --git a/lambda-calcul/haskell/public/repl.js b/lambda-calcul/haskell/public/repl.js index 1d1db87..c72f282 100644 --- a/lambda-calcul/haskell/public/repl.js +++ b/lambda-calcul/haskell/public/repl.js @@ -79,6 +79,8 @@ function prettyAST(term) { } function prettyType(type) { + if (!type) return ""; + if(type.tag === "TyVar") { return type.contents; } else if(type.tag === ":->") { -- cgit v1.3.1