idris-lang / Idris2

A purely functional programming language with first class types

https://idris-lang.org/

Other

2.5k stars 375 forks source link

Compiler runs indefinitely for namespaced functions if named arguments are wrong #3278

Open freddi301 opened 4 months ago

freddi301 commented 4 months ago

Steps to Reproduce

Idris 2, version 0.7.0-e02ebcab6 (installed with pack)
clone https://github.com/freddi301/idris-2-ui/tree/6f70fc6c7dbbe1790a1488d68dd334b53c892764
run watch-build .sh
mistype any named parameter in style = s{ grw = 2 } instead of style = s{ grow = 1 } in this file (text search for s{)

Expected Behavior

compiler points out that the named argument is misstyped or at least unexpected

Observed Behavior

compiler hangs