It is often claimed that functional languages are ideal for building static analysis applications. However, most applications are on small academic languages. In this document we test the claim on a real-world language, C/AL, which is the language used for implementing business logic in Microsoft Dynamics NAV, a successful Enterprise Resource Planning system. We have used Microsoft's F# to build our application. F# is a multi-paradigm language, but we have almost exclusively used the functional aspects of the language.