Add regression test for issue #485.

tests/issues/issue485.icry

@@ -0,0 +1,4 @@
+:l issue485b.cry
+:t foo
+:t bar
+:t baz

tests/issues/issue485.icry.stdout

@@ -0,0 +1,8 @@
+Loading module Cryptol
+Loading module Cryptol
+Loading module Float
+Loading module issue485a
+Loading module issue485b
+foo : [3]
+bar : [8] -> [8]
+baz : [8] -> [8] -> [8]

tests/issues/issue485a.cry

@@ -0,0 +1,16 @@
+module issue485a where
+
+import Float
+
+private type A = [8] -> [8]
+
+private type ByteFun t = [8] -> t
+
+foo : RoundingMode
+foo = 0
+
+bar : A
+bar x = x
+
+baz : ByteFun (ByteFun [8])
+baz = (+)

tests/issues/issue485b.cry

@@ -0,0 +1,3 @@
+module issue485b where
+
+import issue485a