Recovering Inferred types does not work

[W95Psp]

Recovering Inferred types does not work

[camilstaps]

I believe the ListTypes entry should be in a MainModule/Compiler block, e.g.:

MainModule
	Name:	test
	Dir:	{Project}
	Compiler
		ListTypes:	StrictExportTypes

[W95Psp]

Yes, that what I do, actually; but even with this setting, it's not outputting any types, either using linux CPM or windows CPM.
I tried to use CleanIDE just to check whether it was outputting types according prj file, and it works as expected, but I have no idea how it internally works.

Oh and maybe you could help me with something not linked to that: each time I cpm make a project, everything is recompiled (like each single iTasks/Sapl/Std* modules, it says [some.module.path]: is older than .abc file). Do you think it's a configuration issue?

[camilstaps]

Ah, you're right, that does not appear to be implemented; the compiler_arguments and makeCompilerOptionsArguments functions in PmCleanSystem do not have options for -lat, even though the project file is parsed correctly.

For the recompilation problem: does it help if you set Dynamics to True in the project file (Global/Application/Profile/Dynamics)? I'm not sure if it's by design that that is required.

[W95Psp]

Ah okay, that makes sense!

Oh, yes, it compiles in few seconds now, that's much nicer, thank you ! :)

[camilstaps]

The StrictExportTypes issue in cpm has been fixed now.

[W95Psp]

Nice, thanks for the information. dd7f2a1 add options to let the extension scan that ouput and use it in hovers.