Add TFA (universally quantified type without context) to Clean.Types.CoclTransform

2 jobs for master in 3 minutes and 5 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
passed #66077
test-nightly

00:01:48

failed #66078
allowed to fail
test-stable

00:01:17

 
Name Stage Failure
failed
test-stable Test
make: Entering directory '/builds/clean-and-itasks/clean-platform/tests/linux64'
./checktest
All modules from OS-Independent OS-Linux OS-Linux-64 OS-Posix Platform-x86 are included in test.icl.
clm -I ../../src/libraries/OS-Independent -I ../../src/libraries/OS-Independent/Deprecated/ArgEnv -I ../../src/libraries/OS-Independent/Deprecated/Generics -I ../../src/libraries/OS-Independent/Deprecated/MersenneTwister -I ../../src/libraries/OS-Independent/Deprecated/StdLib -I ../../src/libraries/OS-Posix -I ../../src/libraries/OS-Linux -I ../../src/libraries/OS-Linux-64 -I ../../src/libraries/Platform-x86 -IL Dynamics -IL GraphCopy -IL TCPIP -PABC StdEnv
make: clm: Command not found
Makefile:31: recipe for target 'test' failed
make: *** [test] Error 127
make: Leaving directory '/builds/clean-and-itasks/clean-platform/tests/linux64'
ERROR: Job failed: exit code 1