summaryrefslogtreecommitdiff
path: root/lambda
Commit message (Expand)AuthorAgeFilesLines
* Rename Expect_tailcall => Tailcall_expectedNicolás Ojeda Bär2020-07-201-3/+3
* matching: a first-order representation for match-failure handlingGabriel Scherer2020-07-081-42/+53
* pass a proper location to Matching.for_trywithGabriel Scherer2020-07-083-5/+14
* Merge pull request #9216 from gasche/lambda-duplicateGabriel Scherer2020-07-022-59/+116
|\
| * extend Lambda.subst on bound variables, add Lambda.duplicateGabriel Scherer2020-06-092-59/+116
* | change API for Env.open_signature to clarify errorsJacques Garrigue2020-06-231-2/+2
* | Merge pull request #9469 from lpw25/fix-lazy-backtracesNicolás Ojeda Bär2020-06-141-1/+1
|\ \
| * | Better backtraces for lazy valuesLeo White2020-06-141-1/+1
* | | Merge pull request #9442 from gasche/tailcall-attribute-refactoringGabriel Scherer2020-06-1011-135/+198
|\ \ \
| * | | [refactoring] gives tailcall attributes a more standard structureGabriel Scherer2020-06-0811-134/+197
| * | | [minor] printlambda: print the 'tailcall' attribute in the same style as othersGabriel Scherer2020-06-081-1/+1
| | |/ | |/|
* | | matching: [minor] refactor the local control flow of the Unused exceptionGabriel Scherer2020-06-071-25/+27
|/ /
* | matching: try => match with exceptionThomas Refis2020-06-061-31/+30
* | matching: flatten_simple_pattern does not raiseThomas Refis2020-06-061-1/+16
* | matching: push simple types to flatten_patternThomas Refis2020-06-061-1/+7
* | matching: argo => arg_idThomas Refis2020-06-051-14/+17
* | Limit the number of parameters for an uncurried or untupled function (#9620)Xavier Leroy2020-06-055-8/+25
|/
* Remove Const_pointer from Lambda and Clambda (#9585)Stephen Dolan2020-06-027-19/+19
* Matching: propagate constructor descriptions in complete_pats_constrsGabriel Scherer2020-05-261-12/+14
* matching: use constructor descriptions instead of tags as matching keysGabriel Scherer2020-05-251-13/+16
* fixup! matching: use pattern views in Parmatch as wellGabriel Scherer2020-05-211-1/+6
* matching: use pattern views in Parmatch as wellGabriel Scherer2020-05-141-16/+11
* matching: move {general,simple,half_simple}_view to PatternsGabriel Scherer2020-05-141-20/+12
* matching: move (Non_empty_row, views, General) to patterns.mlGabriel Scherer2020-05-141-67/+6
* patterns: reuse ('a Typedtree.pattern_) to define Patterns.Head.tGabriel Scherer2020-05-141-19/+23
* matching: separate types for rows and clausesGabriel Scherer2020-05-141-19/+27
* [minor] matching: rename Non_empty_clause.{map_head => map_first}Gabriel Scherer2020-05-141-2/+2
* patterns: move Parmatch.Pattern_head into Patterns.HeadGabriel Scherer2020-05-141-48/+52
* Merge pull request #9520 from trefis/rematch-make_matching-cleanupGabriel Scherer2020-05-141-193/+180
|\
| * matching: factorize the make_*_matching functionsGabriel Scherer2020-05-131-193/+180
* | Add %loc_FUNCTION primitiveNicolás Ojeda Bär2020-05-131-2/+7
|/
* matching: add a comment suggested by Florian Angeletti's reviewGabriel Scherer2020-05-011-0/+7
* [minor] matching.ml: tune ~scopes handlingGabriel Scherer2020-05-011-13/+17
* matching: use heads in the make_*_matching specialization callsGabriel Scherer2020-05-011-73/+78
* matching: finally, merge matcher and Context.ctx_matcherGabriel Scherer2020-05-011-97/+56
* matching: refine the types in Context.ctx_matcherGabriel Scherer2020-05-011-28/+40
* matching: consolidate all matcher_ functions in a single matcher_headGabriel Scherer2020-05-011-106/+97
* matching: specialize_matrix uses non-empty rowsGabriel Scherer2020-05-011-10/+14
* matching: matcher_* take Simple.pattern argumentsGabriel Scherer2020-05-011-30/+27
* Replace Location.t with Lambda.scoped_location in Lambda codeStephen Dolan2020-04-2719-625/+833
* Introduce the Lambda.scoped_location typeStephen Dolan2020-04-274-0/+112
* Merge pull request #9464 from gasche/rematch-exceptionless-matcherGabriel Scherer2020-04-231-108/+105
|\
| * matching: remove the OrPat exception by handling Tpat_or on the caller sideGabriel Scherer2020-04-221-82/+73
| * matching: refactor recursive specialization functions for clarityGabriel Scherer2020-04-221-12/+9
| * matching: pass explicit arity to Default_environment.specializeGabriel Scherer2020-04-181-18/+27
* | Add forgotten substitution when compiling anonymous modules (#9477)Thomas Refis2020-04-231-2/+4
|/
* Merge pull request #9349 from lpw25/inline-hintLeo White2020-04-175-6/+14
|\
| * Add [@inlined hint] attributeLeo White2020-04-165-6/+14
* | matching: minor code factorization of compile_* functionsGabriel Scherer2020-04-151-22/+15
* | matching: factorize compile_match and compile_match_nonemptyGabriel Scherer2020-04-151-29/+12
View Lorry Controller Status