Idris2/tests/ttimp
madman-bob 119d8321d4
[ fix ] Use qualified type name for record elaboration (#1871) (#1948)
* [ fix ] Use qualified type name for record elaboration (#1871)

* Clarify record elaboration `Name` arguments
2021-09-24 11:23:46 +01:00
..
basic001 Move rm -rf to the beginning of the test 2021-07-13 22:54:53 +01:00
basic002 Move rm -rf to the beginning of the test 2021-07-13 22:54:53 +01:00
basic003 Move rm -rf to the beginning of the test 2021-07-13 22:54:53 +01:00
basic004 Move rm -rf to the beginning of the test 2021-07-13 22:54:53 +01:00
basic005 Move rm -rf to the beginning of the test 2021-07-13 22:54:53 +01:00
basic006 Bring #1719 up to date with latest changes 2021-07-15 22:04:49 +01:00
coverage002 Bring #1719 up to date with latest changes 2021-07-15 22:04:49 +01:00
dot001 Bring #1719 up to date with latest changes 2021-07-15 22:04:49 +01:00
eta001 Move rm -rf to the beginning of the test 2021-07-13 22:54:53 +01:00
lazy001 Move rm -rf to the beginning of the test 2021-07-13 22:54:53 +01:00
nest001 Move rm -rf to the beginning of the test 2021-07-13 22:54:53 +01:00
nest002 Move rm -rf to the beginning of the test 2021-07-13 22:54:53 +01:00
perf001 Move rm -rf to the beginning of the test 2021-07-13 22:54:53 +01:00
perf002 Move rm -rf to the beginning of the test 2021-07-13 22:54:53 +01:00
perf003 Move rm -rf to the beginning of the test 2021-07-13 22:54:53 +01:00
qtt001 Move rm -rf to the beginning of the test 2021-07-13 22:54:53 +01:00
qtt003 Move rm -rf to the beginning of the test 2021-07-13 22:54:53 +01:00
record001 Move rm -rf to the beginning of the test 2021-07-13 22:54:53 +01:00
record002 Move rm -rf to the beginning of the test 2021-07-13 22:54:53 +01:00
record003 Move rm -rf to the beginning of the test 2021-07-13 22:54:53 +01:00
record004 [ fix ] Use qualified type name for record elaboration (#1871) (#1948) 2021-09-24 11:23:46 +01:00
total001 Move rm -rf to the beginning of the test 2021-07-13 22:54:53 +01:00
total002 Move rm -rf to the beginning of the test 2021-07-13 22:54:53 +01:00
total003 Move rm -rf to the beginning of the test 2021-07-13 22:54:53 +01:00