edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2025-01-08 06:07:11 +03:00
Code Issues Projects Releases Wiki Activity
8167197a4b
Idris2-boot/tests/idris2/basic005/NoInfer.idr

3 lines
26 B
Idris
Raw Normal View History

Set fresh name counter on loading Main ttc Make sure this is the counter from the right namespace, or we might get name clashes at the REPL
2019-06-27 15:42:49 +03:00
foo : ? -> Int
foo x = 42
Reference in New Issue Copy Permalink