@Title

├── src └── FSharp.Quotations.Evaluator │ ├── paket.references │ ├── Script.fsx │ ├── FSharp.Quotations.Evaluator.fsproj │ ├── Public.fs │ ├── QuotationsEvaluator.fsi │ ├── Tools.fs │ └── QuotationsEvaluator.fs ├── tests └── FSharp.Quotations.Evaluator.Tests │ ├── xunit.runner.json │ ├── paket.references │ ├── FSharp.Quotations.Evaluator.Tests.fsproj │ ├── Tools.fs │ └── Performance.fs ├── global.json ├── docs ├── files │ └── img │ │ ├── logo.pdn │ │ └── logo.png ├── tools │ ├── templates │ │ └── template.cshtml │ └── generate.fsx └── content │ ├── tutorial.fsx │ └── index.fsx ├── .travis.yml ├── Directory.Build.targets ├── appveyor.yml ├── .config └── dotnet-tools.json ├── docker-build.sh ├── Dockerfile ├── .github └── ISSUE_TEMPLATE.md ├── paket.dependencies ├── README.md ├── LICENSE.txt ├── RELEASE_NOTES.md ├── Directory.Build.props ├── .gitattributes ├── .gitignore ├── .dockerignore ├── FSharp.Quotations.Evaluator.sln ├── .paket └── Paket.Restore.targets └── paket.lock /src/FSharp.Quotations.Evaluator/paket.references: -------------------------------------------------------------------------------- 1 | FSharp.Core 2 | Microsoft.SourceLink.GitHub -------------------------------------------------------------------------------- /tests/FSharp.Quotations.Evaluator.Tests/xunit.runner.json: -------------------------------------------------------------------------------- 1 | { 2 | "appDomain" : "denied" 3 | } -------------------------------------------------------------------------------- /global.json: -------------------------------------------------------------------------------- 1 | { 2 | "sdk": { 3 | "version": "3.1.100", 4 | "rollForward": "minor" 5 | } 6 | } 7 | -------------------------------------------------------------------------------- /docs/files/img/logo.pdn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fsprojects/FSharp.Quotations.Evaluator/HEAD/docs/files/img/logo.pdn -------------------------------------------------------------------------------- /docs/files/img/logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fsprojects/FSharp.Quotations.Evaluator/HEAD/docs/files/img/logo.png -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- 1 | os: linux 2 | language: bash 3 | 4 | services: 5 | - docker 6 | 7 | script: 8 | - ./docker-build.sh -t Bundle -------------------------------------------------------------------------------- /tests/FSharp.Quotations.Evaluator.Tests/paket.references: -------------------------------------------------------------------------------- 1 | group Tests 2 | FSharp.Core 3 | xunit 4 | xunit.runner.visualstudio 5 | Microsoft.NET.Test.Sdk -------------------------------------------------------------------------------- /Directory.Build.targets: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | -------------------------------------------------------------------------------- /appveyor.yml: -------------------------------------------------------------------------------- 1 | os: Visual Studio 2019 2 | 3 | init: 4 | - git config --global core.autocrlf input 5 | build_script: 6 | - cmd: build.cmd -t Bundle 7 | test: off 8 | version: 0.0.1.{build} 9 | artifacts: 10 | - path: artifacts -------------------------------------------------------------------------------- /src/FSharp.Quotations.Evaluator/Script.fsx: -------------------------------------------------------------------------------- 1 | // Learn more about F# at http://fsharp.org. See the 'F# Tutorial' project 2 | // for more guidance on F# programming. 3 | 4 | #load "Library.fs" 5 | open FSharp.Quotations.Evaluator 6 | 7 | let num = Library.hello 42 8 | printfn "%i" num 9 | -------------------------------------------------------------------------------- /.config/dotnet-tools.json: -------------------------------------------------------------------------------- 1 | { 2 | "version": 1, 3 | "isRoot": true, 4 | "tools": { 5 | "paket": { 6 | "version": "5.242.2", 7 | "commands": [ 8 | "paket" 9 | ] 10 | }, 11 | "fake-cli": { 12 | "version": "5.19.1", 13 | "commands": [ 14 | "fake" 15 | ] 16 | }, 17 | "sourcelink": { 18 | "version": "3.1.1", 19 | "commands": [ 20 | "sourcelink" 21 | ] 22 | } 23 | } 24 | } -------------------------------------------------------------------------------- /docker-build.sh: -------------------------------------------------------------------------------- 1 | #!/usr/bin/env bash 2 | 3 | cd `dirname $0` 4 | 5 | IMAGE_LABEL="fsharp-quotations-evaluator-build" 6 | 7 | # docker build 8 | docker build \ 9 | --build-arg "GIT_USER_NAME=$(git config user.name)" \ 10 | --build-arg "GIT_USER_EMAIL=$(git config user.email)" \ 11 | -t $IMAGE_LABEL \ 12 | . 13 | 14 | # dotnet build, test & nuget publish 15 | docker run --rm \ 16 | -e GITHUB_TOKEN=$GITHUB_TOKEN \ 17 | -e NUGET_KEY=$NUGET_KEY \ 18 | $IMAGE_LABEL \ 19 | ./build.sh "$@" -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- 1 | FROM eiriktsarpalis/dotnet-sdk-mono:3.1.101-buster 2 | 3 | # allow pushing docs & tags using docker builds: 4 | # pass git credentials using $GITHUB_TOKEN environment variable 5 | ARG GIT_ASKPASS=/root/.git-askpass 6 | ENV GIT_ASKPASS=$GIT_ASKPASS 7 | RUN echo 'echo $GITHUB_TOKEN' > $GIT_ASKPASS && \ 8 | chmod +x $GIT_ASKPASS 9 | 10 | # configure git name & email using params 11 | ARG GIT_USER_NAME 12 | ARG GIT_USER_EMAIL 13 | RUN git config --global user.name "$GIT_USER_NAME" && \ 14 | git config --global user.email "$GIT_USER_EMAIL" 15 | 16 | WORKDIR /app 17 | COPY . . 18 | 19 | CMD ./build.sh -t Bundle 20 | -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE.md: -------------------------------------------------------------------------------- 1 | ### Description 2 | 3 | Please provide a succinct description of your issue. 4 | 5 | ### Repro steps 6 | 7 | Please provide the steps required to reproduce the problem 8 | 9 | 1. Step A 10 | 11 | 2. Step B 12 | 13 | ### Expected behavior 14 | 15 | Please provide a description of the behavior you expect. 16 | 17 | ### Actual behavior 18 | 19 | Please provide a description of the actual behavior you observe. 20 | 21 | ### Known workarounds 22 | 23 | Please provide a description of any known workarounds. 24 | 25 | ### Related information 26 | 27 | * Operating system 28 | * Branch 29 | * .NET Runtime, CoreCLR or Mono Version 30 | * Performance information, links to performance testing scripts 31 | -------------------------------------------------------------------------------- /tests/FSharp.Quotations.Evaluator.Tests/FSharp.Quotations.Evaluator.Tests.fsproj: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | netcoreapp3.1;net472 5 | true 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | PreserveNewest 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | -------------------------------------------------------------------------------- /paket.dependencies: -------------------------------------------------------------------------------- 1 | source https://api.nuget.org/v3/index.json 2 | framework: netstandard2.0 3 | storage: none 4 | 5 | nuget FSharp.Core >= 4.3 lowest_matching: true 6 | nuget Microsoft.SourceLink.GitHub ~> 1.0 copy_local: true 7 | 8 | group Tests 9 | source https://api.nuget.org/v3/index.json 10 | framework: netcoreapp3.1, net472 11 | storage: none 12 | 13 | nuget FSharp.Core >= 4.7 14 | nuget xunit ~> 2.4 15 | nuget xunit.runner.visualstudio ~> 2.4 16 | nuget Microsoft.NET.Test.Sdk ~> 16.0 17 | 18 | group Build 19 | source https://api.nuget.org/v3/index.json 20 | generate_load_scripts: true 21 | framework: netstandard2.0 22 | storage: none 23 | 24 | nuget Fake.Core.UserInput ~> 5.19.0 25 | nuget Fake.Core.ReleaseNotes ~> 5.19.0 26 | nuget Fake.Core.Target ~> 5.19.0 27 | nuget Fake.IO.FileSystem ~> 5.19.0 28 | nuget Fake.DotNet.Cli ~> 5.19.0 29 | nuget Fake.Tools.Git ~> 5.19.0 30 | 31 | nuget FSharp.Formatting ~> 4.0 prerelease storage: packages -------------------------------------------------------------------------------- /src/FSharp.Quotations.Evaluator/FSharp.Quotations.Evaluator.fsproj: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | netstandard2.0 5 | true 6 | true 7 | true 8 | 9 | 10 | 11 | 5 12 | 52,1178 13 | --warnon:1182 14 | true 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | F# Quotations Evaluator [![NuGet Status](http://img.shields.io/nuget/v/FSharp.Quotations.Evaluator.svg?style=flat)](https://www.nuget.org/packages/FSharp.Quotations.Evaluator/) [![Docker Build Status](https://travis-ci.org/fsprojects/FSharp.Quotations.Evaluator.svg?branch=master)](https://travis-ci.org/fsprojects/FSharp.Quotations.Evaluator) 2 | ======================= 3 | 4 | See http://fsprojects.github.io/FSharp.Quotations.Evaluator/ 5 | 6 | ### Build and Release 7 | 8 | - Open, edit, build and test using ``FSharp.Quotations.Evaluator.sln`` 9 | - Build and test release binaries using ``build.cmd`` or ``build.sh`` 10 | - Build and test release packages using ``build.cmd -t Release`` or ``build.sh -t Release`` 11 | 12 | ### Maintainer(s) 13 | 14 | - [@manofstick](https://github.com/manofstick) - Paul Westcott 15 | - [@eiriktsarpalis](https://github.com/eiriktsarpalis) - Eirik Tsarpalis 16 | 17 | The default maintainer account for projects under "fsprojects" is [@fsprojectsgit](https://github.com/fsprojectsgit) - F# Community Project Incubation Space (repo management) 18 | 19 | -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- 1 | This is free and unencumbered software released into the public domain. 2 | 3 | Anyone is free to copy, modify, publish, use, compile, sell, or 4 | distribute this software, either in source code form or as a compiled 5 | binary, for any purpose, commercial or non-commercial, and by any 6 | means. 7 | 8 | In jurisdictions that recognize copyright laws, the author or authors 9 | of this software dedicate any and all copyright interest in the 10 | software to the public domain. We make this dedication for the benefit 11 | of the public at large and to the detriment of our heirs and 12 | successors. We intend this dedication to be an overt act of 13 | relinquishment in perpetuity of all present and future rights to this 14 | software under copyright law. 15 | 16 | THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, 17 | EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF 18 | MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. 19 | IN NO EVENT SHALL THE AUTHORS BE LIABLE FOR ANY CLAIM, DAMAGES OR 20 | OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, 21 | ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR 22 | OTHER DEALINGS IN THE SOFTWARE. 23 | 24 | For more information, please refer to 25 | -------------------------------------------------------------------------------- /RELEASE_NOTES.md: -------------------------------------------------------------------------------- 1 | ### 2.1.0 - Bug fix 2 | * Fix "Argument types do not match" on nested if statement. 3 | 4 | ### 2.0.0 - Support NetStandard2.0 only. 5 | * Deprecate net45 target. 6 | 7 | ### 1.1.3 - Bug fix 8 | * Fix #26. Bug due to type arguments not being convariant, and thus 9 | crashing on cast. 10 | 11 | ### 1.1.2 - Support NetStandard2.0 12 | * Fix packaging issue. 13 | 14 | ### 1.1.1 - Support NetStandard2.0 15 | * Fix packaging issue. 16 | 17 | ### 1.1.0 - Support NetStandard2.0 18 | * Add support for NetStandard2.0 19 | * Add support for FieldSet expressions. 20 | 21 | ### 1.0.7 - Add portable profile 7 support 22 | * Add portable profile 7, allowing use on .NET Core 23 | 24 | ### 1.0.6 - Fixes for "casts" 25 | * duplicate f# functionality where 'cast' functions parse strings 26 | 27 | ### 1.0.5 - Skipped due to my [manofstick] stuffing up version 28 | 29 | ### 1.0.4 - 'let rec' performance improvements 30 | * simplification refactorings 31 | * (my) stylistic code formatting 32 | 33 | ### 1.0.3 - A range of performance improvements 34 | 35 | ### 1.0.2 - Using System.Linq.Expressions .net 4.0+ functionality 36 | * Updated release notes 37 | 38 | ### 1.0.1 - Update release 39 | * Updated release notes 40 | 41 | ### 1.0 - Initial release 42 | * Source code from F# Power Pack Dec2012 release 43 | * Added SourceLink for Source Indexing PDB -------------------------------------------------------------------------------- /Directory.Build.props: -------------------------------------------------------------------------------- 1 | 2 | 3 | false 4 | true 5 | 6 | 7 | 8 | 9 | logo.png 10 | A quotations evaluator for F# based on LINQ expression tree compilation. Some constructs are not supported and performance may be slower than F# compiled code. Based on the old F# 2.0 PowerPack code. 11 | F# Software Foundation 12 | 2019 13 | FSharp F# Quotations Evaluator 14 | https://github.com/fsprojects/FSharp.Quotations.Evaluator 15 | http://fsprojects.github.io/FSharp.Quotations.Evaluator 16 | Unlicense 17 | git 18 | 19 | true 20 | true 21 | $(AllowedOutputExtensionsInPackageBuildOutputFolder);.pdb 22 | 23 | 24 | 25 | 26 | -------------------------------------------------------------------------------- /src/FSharp.Quotations.Evaluator/Public.fs: -------------------------------------------------------------------------------- 1 | namespace FSharp.Quotations.Evaluator 2 | 3 | [] 4 | [] 5 | do () 6 | 7 | /// A set of types used for implementing quotation conversions. 8 | /// These are public only because targets of Linq Lambda expressions require them to be so 9 | module HelperTypes = 10 | type FuncHelper<'T1,'T2,'T3,'T4,'T5,'T6,'T7,'T8,'T9,'T10,'T11,'T12,'T13,'T14,'T15,'T16,'T17,'TResult> = delegate of 'T1*'T2*'T3*'T4*'T5*'T6*'T7*'T8*'T9*'T10*'T11*'T12*'T13*'T14*'T15*'T16*'T17 -> 'TResult 11 | type FuncHelper<'T1,'T2,'T3,'T4,'T5,'T6,'T7,'T8,'T9,'T10,'T11,'T12,'T13,'T14,'T15,'T16,'T17,'T18,'TResult> = delegate of 'T1*'T2*'T3*'T4*'T5*'T6*'T7*'T8*'T9*'T10*'T11*'T12*'T13*'T14*'T15*'T16*'T17*'T18 -> 'TResult 12 | type FuncHelper<'T1,'T2,'T3,'T4,'T5,'T6,'T7,'T8,'T9,'T10,'T11,'T12,'T13,'T14,'T15,'T16,'T17,'T18,'T19,'TResult> = delegate of 'T1*'T2*'T3*'T4*'T5*'T6*'T7*'T8*'T9*'T10*'T11*'T12*'T13*'T14*'T15*'T16*'T17*'T18*'T19 -> 'TResult 13 | type FuncHelper<'T1,'T2,'T3,'T4,'T5,'T6,'T7,'T8,'T9,'T10,'T11,'T12,'T13,'T14,'T15,'T16,'T17,'T18,'T19,'T20,'TResult> = delegate of 'T1*'T2*'T3*'T4*'T5*'T6*'T7*'T8*'T9*'T10*'T11*'T12*'T13*'T14*'T15*'T16*'T17*'T18*'T19*'T20 -> 'TResult 14 | -------------------------------------------------------------------------------- /docs/tools/templates/template.cshtml: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | @Title 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 21 | 22 | 23 |

24 | 31 |

32 |

33 |

34 | @RenderBody() 35 |

36 |

37 |

38 | 53 |

54 |

55 |

56 |

57 | 58 | 59 | -------------------------------------------------------------------------------- /.gitattributes: -------------------------------------------------------------------------------- 1 | ############################################################################### 2 | # Set default behavior to automatically normalize line endings. 3 | ############################################################################### 4 | # Autodetect text or binary. Do not leave merge conflict markers in the files. 5 | * text=auto merge=union 6 | 7 | # Use LF in the working directory by default. Override with core.autocrlf=true. 8 | *.fs text eol=lf 9 | *.fsi text eol=lf 10 | 11 | # Visual Studio can read LF sln files, but it always writes them as CRLF. 12 | *.sln eol=crlf 13 | 14 | ############################################################################### 15 | # Set default behavior for command prompt diff. 16 | # 17 | # This is need for earlier builds of msysgit that does not have it on by 18 | # default for csharp files. 19 | # Note: This is only used by command line 20 | ############################################################################### 21 | #*.cs diff=csharp 22 | 23 | ############################################################################### 24 | # Set the merge driver for project and solution files 25 | # 26 | # Merging from the command prompt will add diff markers to the files if there 27 | # are conflicts (Merging from VS is not affected by the settings below, in VS 28 | # the diff markers are never inserted). Diff markers may cause the following 29 | # file extensions to fail to load in VS. An alternative would be to treat 30 | # these files as binary and thus will always conflict and require user 31 | # intervention with every merge. To do so, just uncomment the entries below 32 | ############################################################################### 33 | #*.sln merge=binary 34 | #*.csproj merge=binary 35 | #*.vbproj merge=binary 36 | #*.vcxproj merge=binary 37 | #*.vcproj merge=binary 38 | #*.dbproj merge=binary 39 | #*.fsproj merge=binary 40 | #*.lsproj merge=binary 41 | #*.wixproj merge=binary 42 | #*.modelproj merge=binary 43 | #*.sqlproj merge=binary 44 | #*.wwaproj merge=binary 45 | 46 | ############################################################################### 47 | # behavior for image files 48 | # 49 | # image files are treated as binary by default. 50 | ############################################################################### 51 | #*.jpg binary 52 | #*.png binary 53 | #*.gif binary 54 | 55 | ############################################################################### 56 | # diff behavior for common document formats 57 | # 58 | # Convert binary document formats to text before diffing them. This feature 59 | # is only available from the command line. Turn it on by uncommenting the 60 | # entries below. 61 | ############################################################################### 62 | #*.doc diff=astextplain 63 | #*.DOC diff=astextplain 64 | #*.docx diff=astextplain 65 | #*.DOCX diff=astextplain 66 | #*.dot diff=astextplain 67 | #*.DOT diff=astextplain 68 | #*.pdf diff=astextplain 69 | #*.PDF diff=astextplain 70 | #*.rtf diff=astextplain 71 | #*.RTF diff=astextplain 72 | 73 | *.sh text eol=lf 74 | -------------------------------------------------------------------------------- /docs/content/tutorial.fsx: -------------------------------------------------------------------------------- 1 | (*** hide ***) 2 | // This block of code is omitted in the generated HTML documentation. Use 3 | // it to define helpers that you do not want to show in the documentation. 4 | #I "../../src/FSharp.Quotations.Evaluator/bin/Release/netstandard2.0/" 5 | 6 | (** 7 | F# Quotations Evaluator Tutorial 8 | ======================== 9 | 10 | To reference the library: 11 | 12 | *) 13 | #r "FSharp.Quotations.Evaluator.dll" 14 | open FSharp.Quotations.Evaluator 15 | open FSharp.Quotations 16 | 17 | (** 18 | Evaluation 19 | ---------- 20 | 21 | To evaluate a strongly typed quotation: 22 | *) 23 | 24 | QuotationEvaluator.Evaluate <@ 1 + 1 @> // 2 25 | 26 | (** 27 | To evaluate a weakly typed quotation, use `EvaluateUntyped`. An object is returned, which 28 | you can cast to the expected type when it is known. 29 | *) 30 | 31 | let evalTuple n = 32 | let v = Expr.NewTuple (List.replicate n (Expr.Value n)) // codegen (fun x -> (x,x)) 33 | v.EvaluateUntyped() 34 | 35 | evalTuple 4 // obj = (4,4,4,4) 36 | evalTuple 5 // obj = (5,5,5,5,5) 37 | 38 | 39 | (** 40 | Compilation 41 | ----------- 42 | 43 | All evaluation is currently done via compilation. In the future some evalaution may be done via interpretation. 44 | To force compilation, use "Compile". 45 | 46 | *) 47 | 48 | let addPlusOne = QuotationEvaluator.Evaluate <@ fun x y -> x + y + 1 @> 49 | 50 | let nine = addPlusOne 3 5 // 9 51 | 52 | (** 53 | Extension methods 54 | ----------------- 55 | 56 | Extension methods are available for compilation and evaluation: 57 | 58 | *) 59 | 60 | let onePlusOneExpression = <@ 1 + 1 @> // 2 61 | 62 | onePlusOneExpression.Evaluate() 63 | 64 | (** 65 | On-the-fly code generation 66 | -------------------------- 67 | 68 | You can generate lambdas and compile them dynamically: 69 | *) 70 | 71 | 72 | let tupler = 73 | let v = Var("x",typeof) 74 | let v = Expr.Lambda(v, Expr.NewTuple [Expr.Var v; Expr.Var v]) // codegen (fun x -> (x,x)) 75 | v.CompileUntyped() :?> (int -> (int * int)) 76 | 77 | tupler 78 // (78, 78) 78 | 79 | (** 80 | In this example, we generate a lambda (fun x -> (x,...,x)) for tuple size N: 81 | *) 82 | 83 | let invokeFunctionDynamic (f: obj) (x:obj) = 84 | // Invoke an F# function dynamically 85 | f.GetType().InvokeMember("Invoke",System.Reflection.BindingFlags.InvokeMethod,null,f,[| box x |]) 86 | 87 | let makeTupler n = 88 | let xVar = Var("x",typeof) 89 | let lambdaExpr = Expr.Lambda(xVar, Expr.NewTuple (List.replicate n (Expr.Var xVar))) // codegen (fun x -> (x,...,x)) 90 | let compiledLambda = lambdaExpr.CompileUntyped() 91 | fun (v:int) -> 92 | // Invoke the function dynamically 93 | invokeFunctionDynamic compiledLambda v 94 | 95 | // tupler4 and tupler7 are compiled functions which can be invoked with different arguments 96 | let tupler4 = makeTupler 4 97 | let tupler7 = makeTupler 7 98 | 99 | tupler4 76 // (76, 76, 76, 76) 100 | tupler4 63 // (63, 63, 63, 63) 101 | tupler7 65 // (65, 65, 65, 65, 65, 65, 65) 102 | 103 | 104 | (** 105 | Convert to LINQ expressions 106 | -------------------------- 107 | *) 108 | 109 | let onePlusTwoExpression = <@ 1 + 2 @> // 2 110 | 111 | let expressionTree = onePlusTwoExpression.ToLinqExpressionUntyped() // an expression tree 112 | 113 | expressionTree.ToString() // "(1 + 2)" -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | ## Ignore Visual Studio temporary files, build results, and 2 | ## files generated by popular Visual Studio add-ons. 3 | 4 | # User-specific files 5 | *.suo 6 | *.user 7 | *.sln.docstates 8 | 9 | # Xamarin Studio / monodevelop user-specific 10 | *.userprefs 11 | 12 | # Build results 13 | 14 | [Dd]ebug/ 15 | [Rr]elease/ 16 | x64/ 17 | build/ 18 | [Bb]in/ 19 | [Oo]bj/ 20 | 21 | # Enable "build/" folder in the NuGet Packages folder since NuGet packages use it for MSBuild targets 22 | !packages/*/build/ 23 | 24 | # MSTest test Results 25 | [Tt]est[Rr]esult*/ 26 | [Bb]uild[Ll]og.* 27 | 28 | *_i.c 29 | *_p.c 30 | *.ilk 31 | *.meta 32 | *.obj 33 | *.pch 34 | *.pdb 35 | *.pgc 36 | *.pgd 37 | *.rsp 38 | *.sbr 39 | *.tlb 40 | *.tli 41 | *.tlh 42 | *.tmp 43 | *.tmp_proj 44 | *.log 45 | *.vspscc 46 | *.vssscc 47 | .builds 48 | *.pidb 49 | *.log 50 | *.scc 51 | 52 | # Visual C++ cache files 53 | ipch/ 54 | *.aps 55 | *.ncb 56 | *.opensdf 57 | *.sdf 58 | *.cachefile 59 | 60 | # Visual Studio profiler 61 | *.psess 62 | *.vsp 63 | *.vspx 64 | 65 | # Guidance Automation Toolkit 66 | *.gpState 67 | 68 | # ReSharper is a .NET coding add-in 69 | _ReSharper*/ 70 | *.[Rr]e[Ss]harper 71 | 72 | # TeamCity is a build add-in 73 | _TeamCity* 74 | 75 | # DotCover is a Code Coverage Tool 76 | *.dotCover 77 | 78 | # NCrunch 79 | *.ncrunch* 80 | .*crunch*.local.xml 81 | 82 | # Installshield output folder 83 | [Ee]xpress/ 84 | 85 | # DocProject is a documentation generator add-in 86 | DocProject/buildhelp/ 87 | DocProject/Help/*.HxT 88 | DocProject/Help/*.HxC 89 | DocProject/Help/*.hhc 90 | DocProject/Help/*.hhk 91 | DocProject/Help/*.hhp 92 | DocProject/Help/Html2 93 | DocProject/Help/html 94 | 95 | # Click-Once directory 96 | publish/ 97 | 98 | # Publish Web Output 99 | *.Publish.xml 100 | 101 | # Enable nuget.exe in the .nuget folder (though normally executables are not tracked) 102 | !.nuget/NuGet.exe 103 | 104 | # Windows Azure Build Output 105 | csx 106 | *.build.csdef 107 | 108 | # Windows Store app package directory 109 | AppPackages/ 110 | 111 | # Others 112 | sql/ 113 | *.Cache 114 | ClientBin/ 115 | [Ss]tyle[Cc]op.* 116 | ~$* 117 | *~ 118 | *.dbmdl 119 | *.[Pp]ublish.xml 120 | *.pfx 121 | *.publishsettings 122 | 123 | # RIA/Silverlight projects 124 | Generated_Code/ 125 | 126 | # Backup & report files from converting an old project file to a newer 127 | # Visual Studio version. Backup files are not needed, because we have git ;-) 128 | _UpgradeReport_Files/ 129 | Backup*/ 130 | UpgradeLog*.XML 131 | UpgradeLog*.htm 132 | 133 | # SQL Server files 134 | App_Data/*.mdf 135 | App_Data/*.ldf 136 | 137 | 138 | #LightSwitch generated files 139 | GeneratedArtifacts/ 140 | _Pvt_Extensions/ 141 | ModelManifest.xml 142 | 143 | # ========================= 144 | # Windows detritus 145 | # ========================= 146 | 147 | # Windows image file caches 148 | Thumbs.db 149 | ehthumbs.db 150 | 151 | # Folder config file 152 | Desktop.ini 153 | 154 | # Recycle Bin used on file shares 155 | $RECYCLE.BIN/ 156 | 157 | # Mac desktop service store files 158 | .DS_Store 159 | 160 | # =================================================== 161 | # Exclude F# project specific directories and files 162 | # =================================================== 163 | 164 | # NuGet Packages Directory 165 | packages/ 166 | 167 | # Generated documentation folder 168 | docs/output/ 169 | 170 | # Temp folder used for publishing docs 171 | temp/ 172 | 173 | # Test results produced by build 174 | TestResults.xml 175 | 176 | # Nuget outputs 177 | nuget/*.nupkg 178 | 179 | # Fake build files 180 | .fake/ 181 | 182 | # paket 183 | paket-files/ 184 | 185 | # Visual Studio 186 | .vs/ 187 | 188 | # Ionide 189 | .ionide/ 190 | 191 | # Nuget artifacts 192 | artifacts/ 193 | -------------------------------------------------------------------------------- /docs/content/index.fsx: -------------------------------------------------------------------------------- 1 | (*** hide ***) 2 | // This block of code is omitted in the generated HTML documentation. Use 3 | // it to define helpers that you do not want to show in the documentation. 4 | #I "../../src/FSharp.Quotations.Evaluator/bin/Release/netstandard2.0/" 5 | 6 | (** 7 | F# Quotations Evaluator 8 | =================== 9 | 10 | Documentation 11 | 12 |

13 |

14 |

15 |

16 | The F# Quotations Evaluator library can be installed from NuGet: 17 |

PM> Install-Package FSharp.Quotations.Evaluator

18 |

19 |

20 |

21 |

22 | 23 | Overview 24 | ------- 25 | 26 | This component is an F# quotations evaluator, implemented by compiling to LINQ expression trees. 27 | 28 | For simple expression-based scenarios you may be able to simply use the method 29 | ```FSharp.Linq.RuntimeHelpers.LeafExpressionConverter.EvaluateQuotation``` from ```FSharp.Core.dll``. 30 | 31 | However that component has restrictions in the quotations accepted - for example, statements such as 32 | while-loops are not accepted. This component accepts more quotations (including those involving statements), 33 | though some restrictions remain. Please help by contributing additional 34 | functionality to lift remaining restrictions. 35 | 36 | Performance of generated code is generally OK though not as good as F# compiled code, expecially for recursive functions. 37 | However it is still good enough for many purposes of dynamic code generation. Contributions to improve performance 38 | are welcome. 39 | 40 | The component requires .NET 4.x. It is not usable on mobile devices or portable profiles, 41 | where code generation APIs are not available. 42 | 43 | Example 44 | ------- 45 | 46 | This example demonstrates using a function defined in this sample library. 47 | 48 | *) 49 | #r "FSharp.Quotations.Evaluator.dll" 50 | open FSharp.Quotations.Evaluator 51 | 52 | QuotationEvaluator.Evaluate <@ 1 + 1 @> 53 | 54 | let addPlusOne = QuotationEvaluator.Evaluate <@ fun x y -> x + y + 1 @> 55 | 56 | let nine = addPlusOne 3 5 // gives 9 57 | 58 | 59 | (** 60 | 61 | Samples & documentation 62 | ----------------------- 63 | 64 | The library comes with comprehensible documentation. 65 | It can include a tutorials automatically generated from `*.fsx` files in [the content folder][content]. 66 | The API reference is automatically generated from Markdown comments in the library implementation. 67 | 68 | * [Tutorial](tutorial.html) contains a further explanation of this sample library. 69 | 70 | * [API Reference](reference/index.html) contains automatically generated documentation for all types, modules 71 | and functions in the library. This includes additional brief samples on using most of the 72 | functions. 73 | 74 | Contributing and copyright 75 | -------------------------- 76 | 77 | The project is hosted on [GitHub][gh] where you can [report issues][issues], fork 78 | the project and submit pull requests. If you're adding new public API, please also 79 | consider adding [samples][content] that can be turned into a documentation. You might 80 | also want to read [library design notes][readme] to understand how it works. 81 | 82 | The library is available under Public Domain license, which allows modification and 83 | redistribution for both commercial and non-commercial purposes. For more information see the 84 | [License file][license] in the GitHub repository. 85 | 86 | [content]: https://github.com/fsprojects/FSharp.Quotations.Evaluator/tree/master/docs/content 87 | [gh]: https://github.com/fsprojects/FSharp.Quotations.Evaluator 88 | [issues]: https://github.com/fsprojects/FSharp.Quotations.Evaluator/issues 89 | [readme]: https://github.com/fsprojects/FSharp.Quotations.Evaluator/blob/master/README.md 90 | [license]: https://github.com/fsprojects/FSharp.Quotations.Evaluator/blob/master/LICENSE.txt 91 | *) 92 | -------------------------------------------------------------------------------- /.dockerignore: -------------------------------------------------------------------------------- 1 | ## Ignore Visual Studio temporary files, build results, and 2 | ## files generated by popular Visual Studio add-ons. 3 | 4 | # User-specific files 5 | **/*.suo 6 | **/*.user 7 | **/*.sln.docstates 8 | 9 | # Xamarin Studio / monodevelop user-specific 10 | **/*.userprefs 11 | 12 | # Build results 13 | 14 | **/[Dd]ebug/ 15 | **/[Rr]elease/ 16 | **/x64/ 17 | **/build/ 18 | **/[Bb]in/ 19 | **/[Oo]bj/ 20 | 21 | # Enable "build/" folder in the NuGet Packages folder since NuGet packages use it for MSBuild targets 22 | !**/packages/*/build/ 23 | 24 | # MSTest test Results 25 | **/[Tt]est[Rr]esult*/ 26 | **/[Bb]uild[Ll]og.* 27 | 28 | **/*_i.c 29 | **/*_p.c 30 | **/*.ilk 31 | **/*.meta 32 | **/*.obj 33 | **/*.pch 34 | **/*.pdb 35 | **/*.pgc 36 | **/*.pgd 37 | **/*.rsp 38 | **/*.sbr 39 | **/*.tlb 40 | **/*.tli 41 | **/*.tlh 42 | **/*.tmp 43 | **/*.tmp_proj 44 | **/*.log 45 | **/*.vspscc 46 | **/*.vssscc 47 | **/.builds 48 | **/*.pidb 49 | **/*.log 50 | **/*.scc 51 | 52 | # Visual C++ cache files 53 | **/ipch/ 54 | **/*.aps 55 | **/*.ncb 56 | **/*.opensdf 57 | **/*.sdf 58 | **/*.cachefile 59 | 60 | # Visual Studio profiler 61 | **/*.psess 62 | **/*.vsp 63 | **/*.vspx 64 | 65 | # Guidance Automation Toolkit 66 | **/*.gpState 67 | 68 | # ReSharper is a .NET coding add-in 69 | **/_ReSharper*/ 70 | **/*.[Rr]e[Ss]harper 71 | 72 | # TeamCity is a build add-in 73 | **/_TeamCity* 74 | 75 | # DotCover is a Code Coverage Tool 76 | **/*.dotCover 77 | 78 | # NCrunch 79 | **/*.ncrunch* 80 | **/.*crunch*.local.xml 81 | 82 | # Installshield output folder 83 | **/[Ee]xpress/ 84 | 85 | # DocProject is a documentation generator add-in 86 | **/DocProject/buildhelp/ 87 | **/DocProject/Help/*.HxT 88 | **/DocProject/Help/*.HxC 89 | **/DocProject/Help/*.hhc 90 | **/DocProject/Help/*.hhk 91 | **/DocProject/Help/*.hhp 92 | **/DocProject/Help/Html2 93 | **/DocProject/Help/html 94 | 95 | # Click-Once directory 96 | **/publish/ 97 | 98 | # Publish Web Output 99 | **/*.Publish.xml 100 | 101 | # Enable nuget.exe in the .nuget folder (though normally executables are not tracked) 102 | !**/.nuget/NuGet.exe 103 | 104 | # Windows Azure Build Output 105 | **/csx 106 | **/*.build.csdef 107 | 108 | # Windows Store app package directory 109 | **/AppPackages/ 110 | 111 | # Others 112 | **/sql/ 113 | **/*.Cache 114 | **/ClientBin/ 115 | **/[Ss]tyle[Cc]op.* 116 | **/~$* 117 | **/*~ 118 | **/*.dbmdl 119 | **/*.[Pp]ublish.xml 120 | **/*.pfx 121 | **/*.publishsettings 122 | 123 | # RIA/Silverlight projects 124 | **/Generated_Code/ 125 | 126 | # Backup & report files from converting an old project file to a newer 127 | # Visual Studio version. Backup files are not needed, because we have git ;-) 128 | **/_UpgradeReport_Files/ 129 | **/Backup*/ 130 | **/UpgradeLog*.XML 131 | **/UpgradeLog*.htm 132 | 133 | # SQL Server files 134 | **/App_Data/*.mdf 135 | **/App_Data/*.ldf 136 | 137 | 138 | #LightSwitch generated files 139 | **/GeneratedArtifacts/ 140 | **/_Pvt_Extensions/ 141 | **/ModelManifest.xml 142 | 143 | # ========================= 144 | # Windows detritus 145 | # ========================= 146 | 147 | # Windows image file caches 148 | **/Thumbs.db 149 | **/ehthumbs.db 150 | 151 | # Folder config file 152 | **/Desktop.ini 153 | 154 | # Recycle Bin used on file shares 155 | **/$RECYCLE.BIN/ 156 | 157 | # Mac desktop service store files 158 | **/.DS_Store 159 | 160 | # =================================================== 161 | # Exclude F# project specific directories and files 162 | # =================================================== 163 | 164 | # NuGet Packages Directory 165 | **/packages/ 166 | 167 | # Generated documentation folder 168 | **/docs/output/ 169 | 170 | # Temp folder used for publishing docs 171 | **/temp/ 172 | 173 | # Test results produced by build 174 | **/TestResults.xml 175 | 176 | # Nuget outputs 177 | **/nuget/*.nupkg 178 | 179 | # Fake build files 180 | **/.fake/ 181 | 182 | # paket 183 | **/paket-files/ 184 | 185 | # Visual Studio 186 | **/.vs/ 187 | 188 | # Ionide 189 | **/.ionide/ 190 | 191 | # Nuget artifacts 192 | **/artifacts/ 193 | -------------------------------------------------------------------------------- /docs/tools/generate.fsx: -------------------------------------------------------------------------------- 1 | // -------------------------------------------------------------------------------------- 2 | // Builds the documentation from `.fsx` and `.md` files in the 'docs/content' directory 3 | // (the generated documentation is stored in the 'docs/output' directory) 4 | // -------------------------------------------------------------------------------------- 5 | #load "../../.paket/load/netstandard2.0/Build/build.group.fsx" 6 | 7 | open System 8 | open System.IO 9 | open Fake.IO 10 | open Fake.IO.FileSystemOperators 11 | open Fake.IO.Globbing.Operators 12 | open FSharp.Formatting.Razor 13 | 14 | Environment.CurrentDirectory <- __SOURCE_DIRECTORY__ 15 | 16 | // Binaries that have XML documentation (in a corresponding generated XML file) 17 | let referenceProjects = [ "../../src/FSharp.Quotations.Evaluator" ] 18 | // Web site location for the generated documentation 19 | let website = "/FSharp.Quotations.Evaluator" 20 | 21 | let githubLink = "http://github.com/fsprojects/FSharp.Quotations.Evaluator" 22 | 23 | // Specify more information about your project 24 | let info = 25 | [ "project-name", "FSharp.Quotations.Evaluator" 26 | "project-author", "F# Software Foundation" 27 | "project-summary", "A quotations evaluator for F# based on LINQ expression tree compilation" 28 | "project-github", githubLink 29 | "project-nuget", "http://nuget.org/packages/FSharp.Quotations.Evaluator" ] 30 | 31 | // -------------------------------------------------------------------------------------- 32 | // For typical project, no changes are needed below 33 | // -------------------------------------------------------------------------------------- 34 | 35 | // When called from 'build.fsx', use the public project URL as 36 | // otherwise, use the current 'output' directory. 37 | #if RELEASE 38 | let root = website 39 | #else 40 | let root = "file://" + (__SOURCE_DIRECTORY__ @@ "../output") 41 | #endif 42 | 43 | // Paths with template/source/output locations 44 | let bin = __SOURCE_DIRECTORY__ @@ "../../bin" 45 | let content = __SOURCE_DIRECTORY__ @@ "../content" 46 | let output = __SOURCE_DIRECTORY__ @@ "../output" 47 | let files = __SOURCE_DIRECTORY__ @@ "../files" 48 | let templates = __SOURCE_DIRECTORY__ @@ "templates" 49 | let formatting = __SOURCE_DIRECTORY__ @@ "../../packages/build/FSharp.Formatting/" 50 | let docTemplate = formatting @@ "templates/docpage.cshtml" 51 | 52 | // Where to look for *.csproj templates (in this order) 53 | let layoutRoots = 54 | [ templates; formatting @@ "templates" 55 | formatting @@ "templates/reference" ] 56 | 57 | // Copy static files and CSS + JS from F# Formatting 58 | let copyFiles () = 59 | Fake.IO.DirectoryInfo.copyRecursiveTo true (DirectoryInfo output) (DirectoryInfo files) |> ignore 60 | Fake.IO.Directory.ensure (output @@ "content") 61 | Fake.IO.DirectoryInfo.copyRecursiveTo true (DirectoryInfo (output @@ "content")) (DirectoryInfo (formatting @@ "styles")) |> ignore 62 | 63 | let getReferenceAssembliesForProject (proj : string) = 64 | let projName = Path.GetFileName proj 65 | !! (proj @@ "bin/Release/net*/" + projName + ".dll") |> Seq.head 66 | 67 | // Build API reference from XML comments 68 | let buildReference () = 69 | Shell.cleanDir (output @@ "reference") 70 | let binaries = referenceProjects |> List.map getReferenceAssembliesForProject 71 | RazorMetadataFormat.Generate 72 | ( binaries, output @@ "reference", layoutRoots, 73 | parameters = ("root", root)::info, 74 | sourceRepo = githubLink @@ "tree/master", 75 | sourceFolder = __SOURCE_DIRECTORY__ @@ ".." @@ "..", 76 | publicOnly = true ) 77 | 78 | // Build documentation from `fsx` and `md` files in `docs/content` 79 | let buildDocumentation () = 80 | let subdirs = Directory.EnumerateDirectories(content, "*", SearchOption.AllDirectories) 81 | for dir in Seq.append [content] subdirs do 82 | let sub = if dir.Length > content.Length then dir.Substring(content.Length + 1) else "." 83 | RazorLiterate.ProcessDirectory 84 | ( dir, docTemplate, output @@ sub, replacements = ("root", root)::info, 85 | layoutRoots = layoutRoots, generateAnchors = true ) 86 | 87 | // Generate 88 | Shell.cleanDir output 89 | Shell.mkdir output 90 | copyFiles() 91 | buildDocumentation() 92 | buildReference() 93 | -------------------------------------------------------------------------------- /src/FSharp.Quotations.Evaluator/QuotationsEvaluator.fsi: -------------------------------------------------------------------------------- 1 | // (c) Microsoft Corporation 2005-2009. 2 | 3 | namespace FSharp.Quotations.Evaluator 4 | 5 | open System 6 | open System.Linq.Expressions 7 | 8 | module ExtraHashCompare = 9 | /// An intrinsic for compiling <@ x <> y @> to expression trees 10 | val GenericNotEqualIntrinsic : 'T -> 'T -> bool 11 | 12 | [] 13 | type QuotationEvaluator = 14 | 15 | /// Convert the quotation expression to LINQ expression trees 16 | /// 17 | /// This operation will only succeed for a subset of quotation expressions. 18 | /// 19 | /// Exceptions: InvalidArgumentException will be raised if the input expression is 20 | /// not in the subset that can be converted to a LINQ expression tree 21 | static member ToLinqExpression : FSharp.Quotations.Expr -> System.Linq.Expressions.Expression 22 | 23 | /// Compile the quotation expression by first converting to LINQ expression trees 24 | /// The expression is currently always compiled. 25 | /// 26 | /// Exceptions: InvalidArgumentException will be raised if the input expression is 27 | /// not in the subset that can be converted to a LINQ expression tree 28 | static member CompileUntyped : FSharp.Quotations.Expr -> obj 29 | 30 | /// Compile the quotation expression by first converting to LINQ expression trees 31 | /// 32 | /// Exceptions: InvalidArgumentException will be raised if the input expression is 33 | /// not in the subset that can be converted to a LINQ expression tree 34 | static member EvaluateUntyped : FSharp.Quotations.Expr -> obj 35 | 36 | static member internal EvaluateUntypedUsingQueryApproximations : FSharp.Quotations.Expr -> obj 37 | 38 | /// Compile the quotation expression by first converting to LINQ expression trees 39 | /// The expression is currently always compiled. 40 | /// 41 | /// Exceptions: InvalidArgumentException will be raised if the input expression is 42 | /// not in the subset that can be converted to a LINQ expression tree 43 | [] 44 | static member Compile : FSharp.Quotations.Expr<'T> -> 'T 45 | 46 | /// Evaluate the quotation expression by first converting to LINQ expression trees 47 | /// 48 | /// Exceptions: InvalidArgumentException will be raised if the input expression is 49 | /// not in the subset that can be converted to a LINQ expression tree 50 | static member Evaluate : FSharp.Quotations.Expr<'T> -> 'T 51 | 52 | /// This module provides Compile and Eval extension members 53 | /// for F# quotation values, implemented by translating to LINQ 54 | /// expression trees and using the LINQ dynamic compiler. 55 | [] 56 | module QuotationEvaluationExtensions = 57 | 58 | type FSharp.Quotations.Expr with 59 | /// Convert the quotation expression to a LINQ expression tree. 60 | /// 61 | /// Exceptions: InvalidArgumentException will be raised if the input expression is 62 | /// not in the subset that can be converted to a LINQ expression tree 63 | member ToLinqExpressionUntyped : unit -> Expression 64 | 65 | type FSharp.Quotations.Expr<'T> with 66 | 67 | /// Compile and evaluate the quotation expression by first converting to LINQ expression trees. 68 | /// The expression is currently always compiled. 69 | /// 70 | /// Exceptions: InvalidArgumentException will be raised if the input expression is 71 | /// not in the subset that can be converted to a LINQ expression tree 72 | member Compile : unit -> 'T 73 | 74 | /// Evaluate the quotation expression by first converting to LINQ expression trees. 75 | /// The expression is currently always compiled. 76 | /// 77 | /// Exceptions: InvalidArgumentException will be raised if the input expression is 78 | /// not in the subset that can be converted to a LINQ expression tree 79 | member Evaluate : unit -> 'T 80 | 81 | type FSharp.Quotations.Expr with 82 | 83 | /// Compile and evaluate the quotation expression by first converting to LINQ expression trees. 84 | /// 85 | /// Exceptions: InvalidArgumentException will be raised if the input expression is 86 | /// not in the subset that can be converted to a LINQ expression tree 87 | member CompileUntyped : unit -> obj 88 | 89 | /// Evaluate the quotation expression by first converting to LINQ expression trees. 90 | /// The expression is currently always compiled. 91 | /// 92 | /// Exceptions: InvalidArgumentException will be raised if the input expression is 93 | /// not in the subset that can be converted to a LINQ expression tree 94 | member EvaluateUntyped : unit -> obj 95 | 96 | module QuotationEvaluationTypes = 97 | /// This function should not be called directly. 98 | // 99 | // NOTE: when an F# expression tree is converted to a Linq expression tree using ToLinqExpression 100 | // the transformation of LinqExpressionHelper(e) is simple the same as the transformation of 101 | // 'e'. This allows LinqExpressionHelper to be used as a marker to satisfy the C# design where 102 | // certain expression trees are constructed using methods with a signature that expects an 103 | // expression tree of type Expression but are passed an expression tree of type T. 104 | val LinqExpressionHelper : 'T -> Expression<'T> 105 | -------------------------------------------------------------------------------- /FSharp.Quotations.Evaluator.sln: -------------------------------------------------------------------------------- 1 | Microsoft Visual Studio Solution File, Format Version 12.00 2 | # Visual Studio Version 16 3 | VisualStudioVersion = 16.0.29515.123 4 | MinimumVisualStudioVersion = 10.0.40219.1 5 | Project("{6EC3EE1D-3C4E-46DD-8F32-0CC8E7565705}") = "FSharp.Quotations.Evaluator", "src\FSharp.Quotations.Evaluator\FSharp.Quotations.Evaluator.fsproj", "{0A767BB8-BFC6-4622-8063-080188C9EBC4}" 6 | EndProject 7 | Project("{6EC3EE1D-3C4E-46DD-8F32-0CC8E7565705}") = "FSharp.Quotations.Evaluator.Tests", "tests\FSharp.Quotations.Evaluator.Tests\FSharp.Quotations.Evaluator.Tests.fsproj", "{5EEAE3E8-AE29-4411-B632-4D2E61043094}" 8 | EndProject 9 | Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = ".config", ".config", "{B0B99A31-19B9-4970-B148-3CB7274FF231}" 10 | ProjectSection(SolutionItems) = preProject 11 | .config\dotnet-tools.json = .config\dotnet-tools.json 12 | EndProjectSection 13 | EndProject 14 | Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = ".github", ".github", "{4048BFB6-DC54-4910-9B9C-8F0574188931}" 15 | ProjectSection(SolutionItems) = preProject 16 | .github\ISSUE_TEMPLATE.md = .github\ISSUE_TEMPLATE.md 17 | EndProjectSection 18 | EndProject 19 | Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = ".paket", ".paket", "{4B8CAB40-6140-49F2-AE4A-34B93AD09D8F}" 20 | ProjectSection(SolutionItems) = preProject 21 | .paket\Paket.Restore.targets = .paket\Paket.Restore.targets 22 | EndProjectSection 23 | EndProject 24 | Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "Solution Items", "Solution Items", "{7E137503-29B5-4DED-B543-D8DEF5B5A727}" 25 | ProjectSection(SolutionItems) = preProject 26 | .dockerignore = .dockerignore 27 | .gitattributes = .gitattributes 28 | .gitignore = .gitignore 29 | .travis.yml = .travis.yml 30 | appveyor.yml = appveyor.yml 31 | build.cmd = build.cmd 32 | build.fsx = build.fsx 33 | build.sh = build.sh 34 | Directory.Build.props = Directory.Build.props 35 | Directory.Build.targets = Directory.Build.targets 36 | docker-build.sh = docker-build.sh 37 | Dockerfile = Dockerfile 38 | global.json = global.json 39 | LICENSE.txt = LICENSE.txt 40 | paket.dependencies = paket.dependencies 41 | paket.lock = paket.lock 42 | README.md = README.md 43 | RELEASE_NOTES.md = RELEASE_NOTES.md 44 | EndProjectSection 45 | EndProject 46 | Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "docs", "docs", "{3F4E116C-4942-4EE9-B531-414EA2925B87}" 47 | EndProject 48 | Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "content", "content", "{8BBA847E-24E1-4F06-AB21-3822CB3EF44C}" 49 | ProjectSection(SolutionItems) = preProject 50 | docs\content\index.fsx = docs\content\index.fsx 51 | docs\content\tutorial.fsx = docs\content\tutorial.fsx 52 | EndProjectSection 53 | EndProject 54 | Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "files", "files", "{3EEF6D0B-E365-4E96-85E5-8D05F1B729E9}" 55 | EndProject 56 | Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "img", "img", "{8A491320-622E-4175-9381-37CCC40AC2A7}" 57 | ProjectSection(SolutionItems) = preProject 58 | docs\files\img\logo.pdn = docs\files\img\logo.pdn 59 | docs\files\img\logo.png = docs\files\img\logo.png 60 | EndProjectSection 61 | EndProject 62 | Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "tools", "tools", "{9AD1FCE9-F3D1-4ECD-A31E-FC1A4FEE0CB8}" 63 | ProjectSection(SolutionItems) = preProject 64 | docs\tools\generate.fsx = docs\tools\generate.fsx 65 | EndProjectSection 66 | EndProject 67 | Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "templates", "templates", "{2AE853ED-C926-4FE5-BD51-57F15953D3A0}" 68 | ProjectSection(SolutionItems) = preProject 69 | docs\tools\templates\template.cshtml = docs\tools\templates\template.cshtml 70 | EndProjectSection 71 | EndProject 72 | Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "src", "src", "{EAB93A09-6903-4D0C-ADEE-A2E673FD0240}" 73 | EndProject 74 | Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "tests", "tests", "{ECE849FE-B377-4D05-8DA9-81C35305D540}" 75 | EndProject 76 | Global 77 | GlobalSection(SolutionConfigurationPlatforms) = preSolution 78 | Debug|Any CPU = Debug|Any CPU 79 | Release|Any CPU = Release|Any CPU 80 | EndGlobalSection 81 | GlobalSection(ProjectConfigurationPlatforms) = postSolution 82 | {0A767BB8-BFC6-4622-8063-080188C9EBC4}.Debug|Any CPU.ActiveCfg = Debug|Any CPU 83 | {0A767BB8-BFC6-4622-8063-080188C9EBC4}.Debug|Any CPU.Build.0 = Debug|Any CPU 84 | {0A767BB8-BFC6-4622-8063-080188C9EBC4}.Release|Any CPU.ActiveCfg = Release|Any CPU 85 | {0A767BB8-BFC6-4622-8063-080188C9EBC4}.Release|Any CPU.Build.0 = Release|Any CPU 86 | {5EEAE3E8-AE29-4411-B632-4D2E61043094}.Debug|Any CPU.ActiveCfg = Debug|Any CPU 87 | {5EEAE3E8-AE29-4411-B632-4D2E61043094}.Debug|Any CPU.Build.0 = Debug|Any CPU 88 | {5EEAE3E8-AE29-4411-B632-4D2E61043094}.Release|Any CPU.ActiveCfg = Release|Any CPU 89 | {5EEAE3E8-AE29-4411-B632-4D2E61043094}.Release|Any CPU.Build.0 = Release|Any CPU 90 | EndGlobalSection 91 | GlobalSection(SolutionProperties) = preSolution 92 | HideSolutionNode = FALSE 93 | EndGlobalSection 94 | GlobalSection(NestedProjects) = preSolution 95 | {0A767BB8-BFC6-4622-8063-080188C9EBC4} = {EAB93A09-6903-4D0C-ADEE-A2E673FD0240} 96 | {5EEAE3E8-AE29-4411-B632-4D2E61043094} = {ECE849FE-B377-4D05-8DA9-81C35305D540} 97 | {8BBA847E-24E1-4F06-AB21-3822CB3EF44C} = {3F4E116C-4942-4EE9-B531-414EA2925B87} 98 | {3EEF6D0B-E365-4E96-85E5-8D05F1B729E9} = {3F4E116C-4942-4EE9-B531-414EA2925B87} 99 | {8A491320-622E-4175-9381-37CCC40AC2A7} = {3EEF6D0B-E365-4E96-85E5-8D05F1B729E9} 100 | {9AD1FCE9-F3D1-4ECD-A31E-FC1A4FEE0CB8} = {3F4E116C-4942-4EE9-B531-414EA2925B87} 101 | {2AE853ED-C926-4FE5-BD51-57F15953D3A0} = {9AD1FCE9-F3D1-4ECD-A31E-FC1A4FEE0CB8} 102 | EndGlobalSection 103 | GlobalSection(ExtensibilityGlobals) = postSolution 104 | SolutionGuid = {E1E38BB0-7AB3-49FD-B548-0AB537261987} 105 | EndGlobalSection 106 | EndGlobal 107 | -------------------------------------------------------------------------------- /tests/FSharp.Quotations.Evaluator.Tests/Tools.fs: -------------------------------------------------------------------------------- 1 | module FSharp.Quotations.Evaluator.Tools 2 | 3 | open Xunit 4 | open System 5 | open System.Linq.Expressions 6 | open FSharp.Quotations.Evaluator.Tools 7 | 8 | [] 9 | module private Local = 10 | type T1 = class end 11 | type T2 = class end 12 | type T3 = class end 13 | type T4 = class end 14 | type T5 = class end 15 | type T6 = class end 16 | type T7 = class end 17 | type T8 = class end 18 | type T9 = class end 19 | type T10 = class end 20 | type T11 = class end 21 | type T12 = class end 22 | type T13 = class end 23 | type T14 = class end 24 | type T15 = class end 25 | type T16 = class end 26 | type T17 = class end 27 | type T18 = class end 28 | type T19 = class end 29 | type T20 = class end 30 | 31 | let inline constant value = Expression.Constant value 32 | 33 | [] 34 | let ``Test createGenericTupleType types`` () = 35 | let tInt,_ = createGenericTupleType [|typeof|] 36 | Assert.Equal(tInt, typeof>) 37 | let tInt,_ = createGenericTupleType [|typeof;typeof|] 38 | Assert.Equal(tInt, typeof>) 39 | let tInt,_ = createGenericTupleType [|typeof;typeof;typeof|] 40 | Assert.Equal(tInt, typeof>) 41 | let tInt,_ = createGenericTupleType [|typeof;typeof;typeof;typeof|] 42 | Assert.Equal(tInt, typeof>) 43 | let tInt,_ = createGenericTupleType [|typeof;typeof;typeof;typeof;typeof|] 44 | Assert.Equal(tInt, typeof>) 45 | let tInt,_ = createGenericTupleType [|typeof;typeof;typeof;typeof;typeof;typeof|] 46 | Assert.Equal(tInt, typeof>) 47 | let tInt,_ = createGenericTupleType [|typeof;typeof;typeof;typeof;typeof;typeof;typeof|] 48 | Assert.Equal(tInt, typeof>) 49 | let tInt,_ = createGenericTupleType [|typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof|] 50 | Assert.Equal(tInt, typeof>>) 51 | let tInt,_ = createGenericTupleType [|typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof|] 52 | Assert.Equal(tInt, typeof>>) 53 | let tInt,_ = createGenericTupleType [|typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof|] 54 | Assert.Equal(tInt, typeof>>) 55 | let tInt,_ = createGenericTupleType [|typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof|] 56 | Assert.Equal(tInt, typeof>>) 57 | let tInt,_ = createGenericTupleType [|typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof|] 58 | Assert.Equal(tInt, typeof>>) 59 | let tInt,_ = createGenericTupleType [|typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof|] 60 | Assert.Equal(tInt, typeof>>) 61 | let tInt,_ = createGenericTupleType [|typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof|] 62 | Assert.Equal(tInt, typeof>>) 63 | let tInt,_ = createGenericTupleType [|typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof|] 64 | Assert.Equal(tInt, typeof>>>) 65 | let tInt,_ = createGenericTupleType [|typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof|] 66 | Assert.Equal(tInt, typeof>>>) 67 | let tInt,_ = createGenericTupleType [|typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof|] 68 | Assert.Equal(tInt, typeof>>>) 69 | let tInt,_ = createGenericTupleType [|typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof|] 70 | Assert.Equal(tInt, typeof>>>) 71 | let tInt,_ = createGenericTupleType [|typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof|] 72 | Assert.Equal(tInt, typeof>>>) 73 | let tInt,_ = createGenericTupleType [|typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof|] 74 | Assert.Equal(tInt, typeof>>>) 75 | () 76 | 77 | let construct<'a> getConstructor args = 78 | let ``constructor`` = getConstructor args 79 | let creator = Expression.Lambda>(``constructor``).Compile() 80 | creator.Invoke () 81 | 82 | let getItem getConstructor args getItem (n:int) = 83 | let ``constructor`` = getConstructor args 84 | let creator = Expression.Lambda>(getItem ``constructor`` n).Compile() 85 | creator.Invoke () 86 | 87 | [] 88 | let ``Test createGenericTupleType construction`` () = 89 | let _,getConstructor = createGenericTupleType [|typeof|] 90 | let result = construct> getConstructor [| constant 1 |] 91 | Assert.Equal(Tuple.Create 1, result) 92 | 93 | let _,getConstructor = createGenericTupleType [|typeof;typeof|] 94 | let result = construct> getConstructor [| constant 1; constant 2 |] 95 | Assert.Equal(Tuple.Create (1,2), result) 96 | 97 | let _,getConstructor = createGenericTupleType [|typeof;typeof;typeof|] 98 | let result = construct> getConstructor [| constant 1; constant 2; constant 3 |] 99 | Assert.Equal(Tuple.Create (1,2,3), result) 100 | 101 | let _,getConstructor = createGenericTupleType [|typeof;typeof;typeof;typeof|] 102 | let result = construct> getConstructor [| constant 1; constant 2; constant 3; constant 4 |] 103 | Assert.Equal(Tuple.Create (1,2,3,4), result) 104 | 105 | let _,getConstructor = createGenericTupleType [|typeof;typeof;typeof;typeof;typeof|] 106 | let result = construct> getConstructor [| constant 1; constant 2; constant 3; constant 4; constant 5 |] 107 | Assert.Equal(Tuple.Create (1,2,3,4,5), result) 108 | 109 | let _,getConstructor = createGenericTupleType [|typeof;typeof;typeof;typeof;typeof;typeof|] 110 | let result = construct> getConstructor [| constant 1; constant 2; constant 3; constant 4; constant 5; constant 6 |] 111 | Assert.Equal(Tuple.Create (1,2,3,4,5,6), result) 112 | 113 | let _,getConstructor = createGenericTupleType [|typeof;typeof;typeof;typeof;typeof;typeof;typeof|] 114 | let result = construct> getConstructor [| constant 1; constant 2; constant 3; constant 4; constant 5; constant 6; constant 7 |] 115 | Assert.Equal(Tuple.Create (1,2,3,4,5,6,7), result) 116 | 117 | let _,getConstructor = createGenericTupleType [|typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof|] 118 | let result = construct>> getConstructor [| constant 1; constant 2; constant 3; constant 4; constant 5; constant 6; constant 7; constant 8 |] 119 | Assert.Equal(Tuple.Create (1,2,3,4,5,6,7,8), result) 120 | 121 | let _,getConstructor = createGenericTupleType [|typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof|] 122 | let result = construct>> getConstructor [| constant 1; constant 2; constant 3; constant 4; constant 5; constant 6; constant 7; constant 8; constant 9 |] 123 | Assert.Equal((1,2,3,4,5,6,7,8,9), result) 124 | 125 | let _,getConstructor = createGenericTupleType [|typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof|] 126 | let result = construct>> getConstructor [| constant 1; constant 2; constant 3; constant 4; constant 5; constant 6; constant 7; constant 8; constant 9; constant 10 |] 127 | Assert.Equal((1,2,3,4,5,6,7,8,9,10), result) 128 | 129 | let _,getConstructor = createGenericTupleType [|typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof|] 130 | let result = construct>> getConstructor [| constant 1; constant 2; constant 3; constant 4; constant 5; constant 6; constant 7; constant 8; constant 9; constant 10 ; constant 11 |] 131 | Assert.Equal((1,2,3,4,5,6,7,8,9,10,11), result) 132 | 133 | let _,getConstructor = createGenericTupleType [|typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof|] 134 | let result = construct>> getConstructor [| constant 1; constant 2; constant 3; constant 4; constant 5; constant 6; constant 7; constant 8; constant 9; constant 10 ; constant 11; constant 12 |] 135 | Assert.Equal((1,2,3,4,5,6,7,8,9,10,11,12), result) 136 | 137 | let _,getConstructor = createGenericTupleType [|typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof|] 138 | let result = construct>> getConstructor [| constant 1; constant 2; constant 3; constant 4; constant 5; constant 6; constant 7; constant 8; constant 9; constant 10 ; constant 11; constant 12; constant 13 |] 139 | Assert.Equal((1,2,3,4,5,6,7,8,9,10,11,12,13), result) 140 | 141 | let _,getConstructor = createGenericTupleType [|typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof|] 142 | let result = construct>> getConstructor [| constant 1; constant 2; constant 3; constant 4; constant 5; constant 6; constant 7; constant 8; constant 9; constant 10 ; constant 11; constant 12; constant 13; constant 14 |] 143 | Assert.Equal((1,2,3,4,5,6,7,8,9,10,11,12,13,14), result) 144 | 145 | let _,getConstructor = createGenericTupleType [|typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof|] 146 | let result = construct>>> getConstructor [| constant 1; constant 2; constant 3; constant 4; constant 5; constant 6; constant 7; constant 8; constant 9; constant 10 ; constant 11; constant 12; constant 13; constant 14 ; constant 15 |] 147 | Assert.Equal((1,2,3,4,5,6,7,8,9,10,11,12,13,14,15), result) 148 | 149 | let _,getConstructor = createGenericTupleType [|typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof;typeof|] 150 | let result = construct>>> getConstructor [| constant 1; constant 2; constant 3; constant 4; constant 5; constant 6; constant 7; constant 8; constant 9; constant 10 ; constant 11; constant 12; constant 13; constant 14 ; constant 15 ; constant 16 |] 151 | Assert.Equal((1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16), result) 152 | 153 | let _,getConstructor = createGenericTupleType [|typeof;typeof;typeof;typeof;typeof

@Properties["project-name"]