Skip to content
Browse files

[fix] typos: various corrections

  • Loading branch information...
1 parent 4f74b3d commit d3757ec6f015eed030d992591a2e0a4b87f40ec6 Arthur Milchior committed with Mathieu Barbin Jul 11, 2011
View
2 libqmlcompil/qmlPatternAnalysis.ml
@@ -183,7 +183,7 @@ type onion =
| Term of onion_term (* terminal *)
-(** pattern disjuntion *)
+(** pattern disjunction *)
and onion_or =
{
cases : onion list ; (* list of patterns *)
View
2 libqmlcompil/qmlPatternAnalysisSig.ml
@@ -69,7 +69,7 @@ sig
and the identifier of the top-level declaration
containing the processed expression
- It is possible to return a fresh ident which does not depend on its arguement,
+ It is possible to return a fresh ident which does not depend on its arguments,
but is could also be interressant to name identifier depending on the context,
for a better debugging.
*)
View
2 qmljsimp/imp_Common.mli
@@ -25,7 +25,7 @@ val pp_path : Format.formatter -> string list -> unit
val pp_fieldset : Format.formatter -> StringSet.t -> unit
(**
- Interaface to the runtime lib
+ Interface to the runtime lib
*)
module ClientLib :
sig
View
4 qmljsimp/imp_MatchGeneration.ml
@@ -25,7 +25,7 @@
the analysis part, to be able to use it on the server too.
Possible solution:
1) Functorization
- 2) Parametrized librairie
+ 2) Parametrized libraries
*)
(* depends *)
@@ -96,7 +96,7 @@ type analysed_bool_pattern = [
(*
We do not know at compile time if the runtime value will be a boolean or not.
If we end-up in this case, that means that either a pass as lost some type annotation,
- or the user has redefined some exotic types dealing with fiels ["true"] or ["false"],
+ or the user has redefined some exotic types dealing with fields ["true"] or ["false"],
like:
{[
type optionbool('a) = { false } / { true : 'a}
View
6 qmljsimp/imp_MatchGeneration.mli
@@ -47,7 +47,7 @@ type pat = Imp_PatternAnalysis.pat
type 'right_hand rev_cases = (guard option * bindings * 'right_hand) list
(**
- The type of an global analysis of a match.
+ The type of a global analysis of a match.
Should be built with all cases of the match.
This is a local environment, used at the level of
the match, for compiling each pattern.
@@ -96,7 +96,7 @@ type special_bool_hack = [
}
]}
- In an other hand, some js value can never be evaluated to false.
+ On the other hand, some js value can never be evaluated to false.
We take also benefits of this for having shorter guards.
Example, for list matching, we know that a list is an js object,
and a js object is equivalent to [true] in a conditional,
@@ -110,7 +110,7 @@ type special_bool_hack = [
]}
Details about params [assign] and [ident]
- If the ident is Some, is should necessary be the ident of the assignement.
+ If the ident is Some, it should necessary be the ident of the assignment.
{[
assign: v0 = a.x
ident: Some v0
View
2 qmljsimp/imp_PatternAnalysis.ml
@@ -176,7 +176,7 @@ struct
patterns at this level (presence or absence of catchall making the
difference. However, this opening or closing is explicit in the type
given to patterns of this level.
- So, to known if the column is opened or closed, we will inspect the
+ So, to know if the column is opened or closed, we will inspect the
type of the current level of pattern.
If the patterns at this level have a named type, then we must inspect
this named type definition to know if it corresponds to a closed or
View
6 qmljsimp/imp_PatternAnalysis.mli
@@ -30,7 +30,7 @@
the structure of the pattern and the type of the matched expression.
*)
-(** {6 Flags for pattern terminaison} *)
+(** {6 Flags for pattern termination} *)
(**
Matching sums and column
[`closed] means that all cases are present,
@@ -74,7 +74,7 @@ end
that means that the simple fact that the presence of matched field is suffisant for validating
the pattern.
- Invariant: in a list of [pat] of the same level, the [col_var] is homogenous.
+ Invariant: in a list of [pat] of the same level, the [col_var] is homogeneous.
For optimization of representation, and size computation, the fields are stored into
an array rather than a list.
*)
@@ -110,7 +110,7 @@ type ('pat, 'right_hand) matching = ('pat * 'right_hand) list
The projection of patterns depends on all patterns present in a given
pattern matching. For projecting correctly all pattern of a pattern matching,
we should analysis all of them.
- Invariant: in the [pat] list, the [col_var] is homogenous
+ Invariant: in the [pat] list, the [col_var] is homogeneous
*)
type 'right_hand t =
| Trivial of (T.pat, 'right_hand) matching
View
2 qmljsimp/imp_SumCase.mli
@@ -489,7 +489,7 @@ sig
+ using not maybe_js_false types for minimizing the size of the test
+ using presence rather than absence checks
- This fitering respect the following property:
+ This filtering respect the following property:
if the filter apply make so that the list become empty, the filter is ignored,
and return the list received as input.
*)

0 comments on commit d3757ec

Please sign in to comment.
Something went wrong with that request. Please try again.