F# project templates in Xamarin Studio fail to build with “The required attribute ”Project“ In Import is empty”

[panesofglass]

This still appears to be an issue. Tomas proposed a fix here: http://stackoverflow.com/a/22002382. Is it possible to fix this in Xamarin Studio, or should we continue manually changing .fsproj files generated from VS?

[Kevin Ransom (MSFT)]

1.  Raise an issue on visualfsharp.codeplex.com that "choose/otherwise" doesn't work correctly on xamarin (jeez), we should change the F# project templates.

2.  Raise an issue also on visualfsharp.codeplex.com that the templates should be open sourced, they will be shortly so this is just for tracking.

3.  Take the existing templates make sure you can replicate the choose logic correctly.  Upgraded Dev 11 projects I believe will still be wrong for xamarin, but a manual edit will have to do for those guys.

4.  As soon as we open source the templates, prepare a pull request.  Assuming the logic and implementation is correct it is likely we will take it.  From that point on, previews and then the oob will have templates that you can use on Xamarin.

This is just a suggestion, but it seems like it will solve your current issues, it is fair to say I may know a little something about what I already planned to work on over the next week.

Kevin

[Robin Neatherway]

It should be working in XS now after these bugs were fixed:

https://bugzilla.xamarin.com/show_bug.cgi?id=16791
https://bugzilla.xamarin.com/show_bug.cgi?id=14922

If it doesn't, it's a bug. Which version of mono and XS are you using?

> --
> --
> To post, send email to fsharp-o...@googlegroups.com
> To unsubscribe, send email to
> fsharp-opensou...@googlegroups.com
> For more options, visit this group at
> http://groups.google.com/group/fsharp-opensource
> ---
> You received this message because you are subscribed to the Google Groups
> "F# Discussions" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to fsharp-opensou...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.