Issues with Compiling Counter.hs Example

[sukhmankkahlon]

Running the example Counter.hs, I can compile and create bluespec files and then simulate it, but in my first attempt in my .hs file, in the last line I have 'compile "Counter" spec' '. When the output files were created and I attempted to simulate it, I ran into issues I could not trace back to. One error that showed up was "Error: "Counter.bs", line 5, column 10: (T0010)
Missing export for type Counter' used in the definition of mkCounter' at "Counter.bs", line 79, column 0"
But my Counter.bs file did NOT have a line 79. Why was this issue occurring? When I change the name to anything else, ex: 'compile "Counting" spec' '. There are no errors.
Counter.txt

[RyanGlScott]

Counter is the name of a package from the Bluespec prelude: see this file. In particular, Counter in the Bluespec prelude defines its own mkCounter on line 79 (see here), and bsc is likely confusing this with your own Counter/mkCounter. I would recommend picking a different name to avoid name clashes.