quick fix for #14

billpmurphy · Aug 14, 2015 · 410b860 · 410b860
1 parent 2d5ca23
commit 410b860
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/hask/lang/syntax.py b/hask/lang/syntax.py
@@ -1004,8 +1004,6 @@ def _t(obj):
     return str(typeof(obj))
 
 
-
-
 def _i(obj):
     """
     Show information about an object. Equivalent to `:i` in Haskell or

diff --git a/hask/lang/type_system.py b/hask/lang/type_system.py
@@ -203,6 +203,8 @@ def typeof(obj):
         An object representing the type in the internal type system language
         (i.e., a TypeOperator or TypeVariable)
     """
+    TypeVariable.next_var_name = 'a'
+
     if isinstance(obj, Hask):
         return obj.__type__()
-Original file line number
+Diff line change
@@ Expand Up / @@ -1004,8 +1004,6 @@ def _t(obj): @@
         return str(typeof(obj))
     def _i(obj):
         """
         Show information about an object. Equivalent to `:i` in Haskell or
@@ Expand Down @@