diff options
| -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 === ":->") { |