failwith causes an error when used in a calculation expression - FParsec












0















I use a function:



let identifier kind =
(many1Satisfy2L isLetter
(fun c -> isLetter c || isDigit c) "identifier"
>>= fun s -> preturn s) >>= fun s -> identifierKind s kind


The kind argument is of this type:



type KindOfIdentifier =
| Data
| Type
| Module


And here is my function that analyzes the kind argument:



let private identifierKind (id: string) kind =
match kind with
| KindOfIdentifier.Data ->
if id.ToUpper() = id && id.Length > 1 then preturn id
elif System.Char.IsUpper id.[0] = false then preturn id
else failwith "Error 1"
| KindOfIdentifier.Module ->
if System.Char.IsUpper id.[0] then preturn id
else failwith "Error 2"
| KindOfIdentifier.Type ->
preturn id


I would therefore like to analyze an identifier to verify whether it meets the criteria of the identifier type. If identifying it does not meet the criterion, I return an error with failwith.
But, when I use this parser (identify) with a deliberate error in my text to be analyzed, to check if everything works, I get a long error:



enter image description here



(Sorry, I'm French, so there's a little french in the error message ^^.)



How to prevent all this, and only display the error message in the classic way with FParsec?










share|improve this question



























    0















    I use a function:



    let identifier kind =
    (many1Satisfy2L isLetter
    (fun c -> isLetter c || isDigit c) "identifier"
    >>= fun s -> preturn s) >>= fun s -> identifierKind s kind


    The kind argument is of this type:



    type KindOfIdentifier =
    | Data
    | Type
    | Module


    And here is my function that analyzes the kind argument:



    let private identifierKind (id: string) kind =
    match kind with
    | KindOfIdentifier.Data ->
    if id.ToUpper() = id && id.Length > 1 then preturn id
    elif System.Char.IsUpper id.[0] = false then preturn id
    else failwith "Error 1"
    | KindOfIdentifier.Module ->
    if System.Char.IsUpper id.[0] then preturn id
    else failwith "Error 2"
    | KindOfIdentifier.Type ->
    preturn id


    I would therefore like to analyze an identifier to verify whether it meets the criteria of the identifier type. If identifying it does not meet the criterion, I return an error with failwith.
    But, when I use this parser (identify) with a deliberate error in my text to be analyzed, to check if everything works, I get a long error:



    enter image description here



    (Sorry, I'm French, so there's a little french in the error message ^^.)



    How to prevent all this, and only display the error message in the classic way with FParsec?










    share|improve this question

























      0












      0








      0








      I use a function:



      let identifier kind =
      (many1Satisfy2L isLetter
      (fun c -> isLetter c || isDigit c) "identifier"
      >>= fun s -> preturn s) >>= fun s -> identifierKind s kind


      The kind argument is of this type:



      type KindOfIdentifier =
      | Data
      | Type
      | Module


      And here is my function that analyzes the kind argument:



      let private identifierKind (id: string) kind =
      match kind with
      | KindOfIdentifier.Data ->
      if id.ToUpper() = id && id.Length > 1 then preturn id
      elif System.Char.IsUpper id.[0] = false then preturn id
      else failwith "Error 1"
      | KindOfIdentifier.Module ->
      if System.Char.IsUpper id.[0] then preturn id
      else failwith "Error 2"
      | KindOfIdentifier.Type ->
      preturn id


      I would therefore like to analyze an identifier to verify whether it meets the criteria of the identifier type. If identifying it does not meet the criterion, I return an error with failwith.
      But, when I use this parser (identify) with a deliberate error in my text to be analyzed, to check if everything works, I get a long error:



      enter image description here



      (Sorry, I'm French, so there's a little french in the error message ^^.)



      How to prevent all this, and only display the error message in the classic way with FParsec?










      share|improve this question














      I use a function:



      let identifier kind =
      (many1Satisfy2L isLetter
      (fun c -> isLetter c || isDigit c) "identifier"
      >>= fun s -> preturn s) >>= fun s -> identifierKind s kind


      The kind argument is of this type:



      type KindOfIdentifier =
      | Data
      | Type
      | Module


      And here is my function that analyzes the kind argument:



      let private identifierKind (id: string) kind =
      match kind with
      | KindOfIdentifier.Data ->
      if id.ToUpper() = id && id.Length > 1 then preturn id
      elif System.Char.IsUpper id.[0] = false then preturn id
      else failwith "Error 1"
      | KindOfIdentifier.Module ->
      if System.Char.IsUpper id.[0] then preturn id
      else failwith "Error 2"
      | KindOfIdentifier.Type ->
      preturn id


      I would therefore like to analyze an identifier to verify whether it meets the criteria of the identifier type. If identifying it does not meet the criterion, I return an error with failwith.
      But, when I use this parser (identify) with a deliberate error in my text to be analyzed, to check if everything works, I get a long error:



      enter image description here



      (Sorry, I'm French, so there's a little french in the error message ^^.)



      How to prevent all this, and only display the error message in the classic way with FParsec?







      exception f# fparsec






      share|improve this question













      share|improve this question











      share|improve this question




      share|improve this question










      asked Jan 2 at 16:17









      FoxyFoxy

      251313




      251313
























          1 Answer
          1






          active

          oldest

          votes


















          2














          The failwith function throws a .NET exception - a catasprophic failure that is supposed to indicate that the program broke in an unexpected way. Or, in other words, in an exceptional way - hence the name "exception". This is not what you're trying to do.



          What you're trying to do here is to indicate to FParsec that the current parsing attempt has failed, and possibly provide an explanation of what exactly happened.



          To do this, you need to create an error-producing instance of Parser - the same type that is returned by preturn.



          While preturn creates a successful instance of Parser, there is another function that creates an error-producing instance. This function is called fail. Just use it:



              | KindOfIdentifier.Data ->
          if id.ToUpper() = id && id.Length > 1 then preturn id
          elif System.Char.IsUpper id.[0] = false then preturn id
          else fail "Error 1"





          share|improve this answer























            Your Answer






            StackExchange.ifUsing("editor", function () {
            StackExchange.using("externalEditor", function () {
            StackExchange.using("snippets", function () {
            StackExchange.snippets.init();
            });
            });
            }, "code-snippets");

            StackExchange.ready(function() {
            var channelOptions = {
            tags: "".split(" "),
            id: "1"
            };
            initTagRenderer("".split(" "), "".split(" "), channelOptions);

            StackExchange.using("externalEditor", function() {
            // Have to fire editor after snippets, if snippets enabled
            if (StackExchange.settings.snippets.snippetsEnabled) {
            StackExchange.using("snippets", function() {
            createEditor();
            });
            }
            else {
            createEditor();
            }
            });

            function createEditor() {
            StackExchange.prepareEditor({
            heartbeatType: 'answer',
            autoActivateHeartbeat: false,
            convertImagesToLinks: true,
            noModals: true,
            showLowRepImageUploadWarning: true,
            reputationToPostImages: 10,
            bindNavPrevention: true,
            postfix: "",
            imageUploader: {
            brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
            contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
            allowUrls: true
            },
            onDemand: true,
            discardSelector: ".discard-answer"
            ,immediatelyShowMarkdownHelp:true
            });


            }
            });














            draft saved

            draft discarded


















            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fstackoverflow.com%2fquestions%2f54009667%2ffailwith-causes-an-error-when-used-in-a-calculation-expression-fparsec%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown

























            1 Answer
            1






            active

            oldest

            votes








            1 Answer
            1






            active

            oldest

            votes









            active

            oldest

            votes






            active

            oldest

            votes









            2














            The failwith function throws a .NET exception - a catasprophic failure that is supposed to indicate that the program broke in an unexpected way. Or, in other words, in an exceptional way - hence the name "exception". This is not what you're trying to do.



            What you're trying to do here is to indicate to FParsec that the current parsing attempt has failed, and possibly provide an explanation of what exactly happened.



            To do this, you need to create an error-producing instance of Parser - the same type that is returned by preturn.



            While preturn creates a successful instance of Parser, there is another function that creates an error-producing instance. This function is called fail. Just use it:



                | KindOfIdentifier.Data ->
            if id.ToUpper() = id && id.Length > 1 then preturn id
            elif System.Char.IsUpper id.[0] = false then preturn id
            else fail "Error 1"





            share|improve this answer




























              2














              The failwith function throws a .NET exception - a catasprophic failure that is supposed to indicate that the program broke in an unexpected way. Or, in other words, in an exceptional way - hence the name "exception". This is not what you're trying to do.



              What you're trying to do here is to indicate to FParsec that the current parsing attempt has failed, and possibly provide an explanation of what exactly happened.



              To do this, you need to create an error-producing instance of Parser - the same type that is returned by preturn.



              While preturn creates a successful instance of Parser, there is another function that creates an error-producing instance. This function is called fail. Just use it:



                  | KindOfIdentifier.Data ->
              if id.ToUpper() = id && id.Length > 1 then preturn id
              elif System.Char.IsUpper id.[0] = false then preturn id
              else fail "Error 1"





              share|improve this answer


























                2












                2








                2







                The failwith function throws a .NET exception - a catasprophic failure that is supposed to indicate that the program broke in an unexpected way. Or, in other words, in an exceptional way - hence the name "exception". This is not what you're trying to do.



                What you're trying to do here is to indicate to FParsec that the current parsing attempt has failed, and possibly provide an explanation of what exactly happened.



                To do this, you need to create an error-producing instance of Parser - the same type that is returned by preturn.



                While preturn creates a successful instance of Parser, there is another function that creates an error-producing instance. This function is called fail. Just use it:



                    | KindOfIdentifier.Data ->
                if id.ToUpper() = id && id.Length > 1 then preturn id
                elif System.Char.IsUpper id.[0] = false then preturn id
                else fail "Error 1"





                share|improve this answer













                The failwith function throws a .NET exception - a catasprophic failure that is supposed to indicate that the program broke in an unexpected way. Or, in other words, in an exceptional way - hence the name "exception". This is not what you're trying to do.



                What you're trying to do here is to indicate to FParsec that the current parsing attempt has failed, and possibly provide an explanation of what exactly happened.



                To do this, you need to create an error-producing instance of Parser - the same type that is returned by preturn.



                While preturn creates a successful instance of Parser, there is another function that creates an error-producing instance. This function is called fail. Just use it:



                    | KindOfIdentifier.Data ->
                if id.ToUpper() = id && id.Length > 1 then preturn id
                elif System.Char.IsUpper id.[0] = false then preturn id
                else fail "Error 1"






                share|improve this answer












                share|improve this answer



                share|improve this answer










                answered Jan 2 at 16:44









                Fyodor SoikinFyodor Soikin

                43.7k569101




                43.7k569101
































                    draft saved

                    draft discarded




















































                    Thanks for contributing an answer to Stack Overflow!


                    • Please be sure to answer the question. Provide details and share your research!

                    But avoid



                    • Asking for help, clarification, or responding to other answers.

                    • Making statements based on opinion; back them up with references or personal experience.


                    To learn more, see our tips on writing great answers.




                    draft saved


                    draft discarded














                    StackExchange.ready(
                    function () {
                    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fstackoverflow.com%2fquestions%2f54009667%2ffailwith-causes-an-error-when-used-in-a-calculation-expression-fparsec%23new-answer', 'question_page');
                    }
                    );

                    Post as a guest















                    Required, but never shown





















































                    Required, but never shown














                    Required, but never shown












                    Required, but never shown







                    Required, but never shown

































                    Required, but never shown














                    Required, but never shown












                    Required, but never shown







                    Required, but never shown







                    Popular posts from this blog

                    android studio warns about leanback feature tag usage required on manifest while using Unity exported app?

                    SQL update select statement

                    'app-layout' is not a known element: how to share Component with different Modules