support for .NET 3.5?

[domdere]

Is there anyway to get this to emit something that targets .NET 3.5?, the Unity Editor still doesnt support .NET 4.x

[domdere]

I'm actually not entirely sure whats going on here, so just in case I have put my problem in the wrong place i should describe what I'm actually trying to do.

I'm trying to play around with using this project to build unity plugins written in Idris, similar to your IdrisPlayground project, to use as part of a unity project.

when i import the built artifact however, in the editor it reports in the Assembly Info field that it Targets .NET 4.x and displays an error:

Plugin targets .NET 4.x and is marked as compatible with Editor , Editor can only use assemblies targeting .NET 3.5 or lower...

but then when i run:

% monodis bin/IdrisCore.dll | head
.assembly extern mscorlib
{
  .ver 2:0:0:0
  .publickeytoken = (B7 7A 5C 56 19 34 E0 89 ) // .z\V.4..
}
....

Which it looks like is actually thanks to this

I'm pretty new to CIL and .NET but as i understand it it looks to me like the header is declaring that it targets .NET 2.0?

So I'm not sure where the problem here lies, i've tried loading your IdrisUnityPlayground project in Unity (version 5.6.1f1) and find a similar error shows up there.

But i figured you would be better positioned to comment on where the problem is since you are more familiar with all the pieces (and I couldn't find you on IRC).