Skip to content

Commit

Permalink
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
fix some name mismatches due to the new logic
Browse files Browse the repository at this point in the history
baronfel committed Dec 24, 2020

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
1 parent a4c8969 commit 83cacd0
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions src/fsharp/FSharp.Core/quotations.fs
Original file line number Diff line number Diff line change
@@ -412,22 +412,22 @@ module Patterns =
let (|Comb3|_|) (E x) = match x with CombTerm(k, [x1;x2;x3]) -> Some(k, x1, x2, x3) | _ -> None

[<CompiledName("VarPattern")>]
let (|Var|_|) (E x) = match x with VarTerm v -> Some v | _ -> None
let (|Var|_|) (E input) = match input with VarTerm v -> Some v | _ -> None

[<CompiledName("ApplicationPattern")>]
let (|Application|_|) input = match input with Comb2(AppOp, a, b) -> Some (a, b) | _ -> None

[<CompiledName("LambdaPattern")>]
let (|Lambda|_|) (E x) = match x with LambdaTerm(a, b) -> Some (a, b) | _ -> None
let (|Lambda|_|) (E input) = match input with LambdaTerm(a, b) -> Some (a, b) | _ -> None

[<CompiledName("QuotePattern")>]
let (|Quote|_|) (E x) = match x with CombTerm(QuoteOp _, [a]) -> Some (a) | _ -> None
let (|Quote|_|) (E input) = match input with CombTerm(QuoteOp _, [a]) -> Some (a) | _ -> None

[<CompiledName("QuoteRawPattern")>]
let (|QuoteRaw|_|) (E x) = match x with CombTerm(QuoteOp false, [a]) -> Some (a) | _ -> None
let (|QuoteRaw|_|) (E input) = match input with CombTerm(QuoteOp false, [a]) -> Some (a) | _ -> None

[<CompiledName("QuoteTypedPattern")>]
let (|QuoteTyped|_|) (E x) = match x with CombTerm(QuoteOp true, [a]) -> Some (a) | _ -> None
let (|QuoteTyped|_|) (E input) = match input with CombTerm(QuoteOp true, [a]) -> Some (a) | _ -> None

[<CompiledName("IfThenElsePattern")>]
let (|IfThenElse|_|) input = match input with Comb3(IfThenElseOp, e1, e2, e3) -> Some(e1, e2, e3) | _ -> None

0 comments on commit 83cacd0

Please sign in to comment.