Re:Forbidden Haskell Types
by gnulinux on Friday July 17, 2020 @06:52PM
(#23876957)
Yes you're right it is inductive, I misread your comment as "it compiles" and once again got lazy and didn't check the link. :(
[ Parent
| on HN ]
No, that's my fault, not yours. It originally did say it compiled, but that turned out to be some kind of error with repl.it, which appeared to be down as part of this outage (https://news.ycombinator.com/item?id=23875692). When I tried again, it didn't compile, and I thought I could sneak edit since you hadn't responded. Sorry!