Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add ?fail_on_error argument to Lwt_log_core.load_rules, also expose new level_of_string function in the interface #306

Merged
merged 3 commits into from
Dec 23, 2016

Conversation

dmbaturin
Copy link
Contributor

When set to true, ?fail_on_error causes load_rules raise Failure if it fails to parse
the rules, otherwise the behaviour remains the same for backwards compatibility.

The code that converts string representation of the level to Lwt_log_core.level was moved to a separate level_of_string : string -> (level, string) result function that is also exposed in the interface, it can be especially handy when the level comes from config or command line options, and one wants to use it in add_rule or other functions that take level.

On a side note, (String.lowercase [@ocaml.warning "-3"]) bothers me. Maybe change it to String.lowercase_ascii rather than supress the warning?

When set to true, it causes load_rules raise Failure if it fails to parse
the rules, otherwise the behaviour remains the same for backwards compatibility.
@@ -47,6 +47,17 @@ let string_of_level = function
| Error -> "error"
| Fatal -> "fatal"

let level_of_string str =
let str = (String.lowercase [@ocaml.warning "-3"]) str in
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

You're right to worry about this, but we can't use lowercase_ascii because Lwt still supports 4.02.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ok, good I kept it intact then.

| "warning" -> Ok Warning
| "error" -> Ok Error
| "fatal" -> Ok Fatal
| _ -> Pervasives.Error (Printf.sprintf "invalid log level (%s)" str)
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'd say for this function, to have it evaluate to a level option. The Error result doesn't carry more information than None – there is only one way to fail, and the caller already knows which string they passed in. But to address your question, yes, we should use Result.result instead of Pervasives.result, in general.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

So, right now, shall we use option or introduce a dependency on the result compatibility library? If 4.02 support is a goal, option is the easiest way out, and I agree Error doesn't offer much more than None here, but I'll do whichever you tell me to do.

Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I prefer option here :) But we already have the dependency on result (see lwt.opam).

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Oh, I missed it. Ok, I'll go with option then.

| Some l -> rules := loop l
| None ->
if fail_on_error then raise (Failure "Invalid log rules")
else Printf.eprintf "Invalid contents of the LWT_LOG variable\n%!"
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Since we're fixing this up anyway, I think the reference to LWT_LOG should be removed – this code can be called when not reading LWT_LOG. Alternatively, one could pass some kind of from_lwt_log parameter to control what this message looks like... but it may be kind of unnecessary. Ideally we would push the generation of the message to the caller, but that would require a breaking change :/

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I was just trying to keep the old behaviour completely intact, reference to LWT_LOG does bother me too of course. Shall we just replace the message with "Invalid contents of log rules" or similar?

Copy link
Collaborator

@aantron aantron Dec 23, 2016

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Up to you. Using the same message for both the exception and the log message is fine. I hope nobody was parsing their log for the string LWT_LOG :)

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

That was my thought exactly... ;)

val load_rules : string -> unit
val level_of_string : string -> (level, string) result

val load_rules : ?fail_on_error:bool -> string -> unit
Copy link
Collaborator

@aantron aantron Dec 23, 2016

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should probably document ?fail_on_error as, besides the exception, there is the non-trivial difference that load_rules ~fail_on_error:false will actually load as many rules as it can, while load_rules ~fail_on_error:true will load nothing if any error is encountered.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Agree. I'll add a docstring.

Make level_of_string : string -> level option instead of (level, string) result
Remove references to LWT_LOG env variable from messages.
@aantron aantron merged commit 3d384e1 into ocsigen:master Dec 23, 2016
@aantron
Copy link
Collaborator

aantron commented Dec 23, 2016

Thank you!

@dmbaturin dmbaturin deleted the load_rules_exn branch December 24, 2016 01:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants