ChildsplayOSU / bogl

Haskell implementation of the BoGL language
https://bogl.engr.oregonstate.edu
BSD 3-Clause "New" or "Revised" License
7 stars 1 forks source link

Comparing tuples of different sizes causes non-termination #178

Closed MartinErwig closed 3 years ago

MartinErwig commented 3 years ago

After entering the following expression:

(3,4) == (3,4,5)

the interpreter returns immediately, and after some time creates the message:

🤖 BoGL Says: Unable to finish running your program, or not currently online. Double check your code, or check back later!

This expression should be rejected by the type checker.

montymxb commented 3 years ago

Closed by #179