diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2026-04-01 16:53:59 +0200 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2026-04-01 16:53:59 +0200 |
| commit | e00af962a3e62bf221c5ed16127acb833821c7cd (patch) | |
| tree | 6db21d104127d1827f435f940f05a1c61d4e4b51 /lambda-calcul/haskell/public/repl.js | |
| parent | f6dde1041a52da4f2e7ccb77eed3c577f9d07798 (diff) | |
| download | lambda-nantes-e00af962a3e62bf221c5ed16127acb833821c7cd.tar.gz | |
Fix UI following change in commands output
There should really exist tests for that 🙄
Diffstat (limited to 'lambda-calcul/haskell/public/repl.js')
| -rw-r--r-- | lambda-calcul/haskell/public/repl.js | 2 |
1 files changed, 2 insertions, 0 deletions
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 === ":->") { |