unquote - GitLite

KO | EN

gitlite — search

#javascript #python #ai #llm #go #android #machine-learning #rust #docker #windows #awesome #cli #vue #security

unquote

(★ 298)

Write F# unit test assertions as quoted expressions, get step-by-step failure messages for free

파일 탐색기

최종 버전 다운로드 (.zip)

- nuget.config
- nuget.exe
- nuget.targets
- packages.config
- - AssertionFailedException.fs
  - Assertions.fs
  - Decompilation.fs
  - DynamicOperators.fs
  - Evaluation.fs
  - EvaluationException.fs
  - Extensions.fs
  - ExtraPatterns.fs
  - ExtraReflection.fs
  - OperatorPrecedence.fs
  - Operators.fs
  - packages.lock.json
  - Reduction.fs
  - ReductionException.fs
  - Unquote.fsproj
  - Unquote.nuspec
  - UnquotedExpression.fs
- - AssertionOperatorsTests.fs
  - CheckedDynamicOperatorsEvaluationTests.fs
  - CustomExceptionSerializationTests.fs
  - DecompilationTests.fs
  - DynamicOperatorsEvaluationTests.fs
  - EvaluationTests.fs
  - FSharpNameTests.fs
  - packages.lock.json
  - ReductionTests.fs
  - UnquotedExpressionTests.fs
  - UnquoteTests.fsproj
- - packages.lock.json
  - UnquoteTests.FSCore6.fsproj
- - expecto9.fsproj
  - packages.lock.json
  - Program.fs
- - noframework.fsproj
  - packages.lock.json
  - Program.fs
- - nunit3.fsproj
  - packages.lock.json
  - Program.fs
  - VerifyNunit3Support.fs
- - packages.lock.json
  - Program.fs
  - VerifyXunit2Support.fs
  - xunit2.fsproj
.gitattributes
.gitignore
global.json
LICENSE
logo.png
Makefile
NOTICE
README.md
Unquote.sln

# 설치 가이드

1. 코드 내려받기

git clone https://github.com/SwensenSoftware/unquote

깃허브에서 프로젝트 코드 전체를 내 컴퓨터로 내려받습니다.

cd unquote

방금 내려받은 프로젝트 폴더 안으로 이동합니다.

2. .NET

보통 추천

사전 준비물

Git GitHub에서 프로젝트 코드를 내려받으려면 필요합니다.
.NET SDK dotnet 명령어를 쓰기 위한 SDK입니다.

dotnet restore

프로젝트에 필요한 패키지를 내려받습니다.

dotnet run

프로젝트를 빌드하고 바로 실행합니다.

✅ dotnet run 실행 후 터미널에 나타나는 안내 메시지나 주소를 확인하세요.

3. Make

보통

사전 준비물

Git GitHub에서 프로젝트 코드를 내려받으려면 필요합니다.
Make Linux/macOS는 보통 기본 설치되어 있습니다. Windows는 별도 설치(예: MSYS2, WSL)가 필요합니다.

make

생성된 빌드 설정을 바탕으로 실제 컴파일을 진행해 실행 파일을 만듭니다.

✅ 에러 없이 끝나면 성공입니다. 생성된 실행 파일을 직접 실행해보세요.

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

[User Guide](../../wiki/UserGuide) | [NuGet](https://www.nuget.org/packages/Unquote/) | [Release Notes](../../wiki/ReleaseNotes) | [Issues](../../issues) | [Contributing](../../wiki/Contributing)

---

Unquote is not just another DSL or API for making unit test assertions. Instead, assertions are written as plain, statically-checked F# [quoted expressions](http://msdn.microsoft.com/en-us/library/dd233212.aspx) and test failure messages are given as step-by-step F# expression evaluations.

Unquote integrates configuration-free with all exception-based unit testing frameworks including xUnit.net, NUnit, MbUnit, Fuchu, and MSTest. For example, the following failing xUnit.net test

```
[<Fact>]
let ``demo Unquote xUnit support`` () =
    test <@ [3; 2; 1; 0] |> List.map ((+) 1) = [1 + 3..1 + 0] @>
```

produces the following failure message

```
Test 'Module.demo Unquote xUnit support' failed:

[3; 2; 1; 0] |> List.map ((+) 1) = [1 + 3..1 + 0]
[4; 3; 2; 1] = [4..1]
[4; 3; 2; 1] = []
false

C:\File.fs(28,0): at Module.demo Unquote xUnit support()
```

Unquote may even be used within FSI sessions, enabling the direct migration of ad-hoc FSI tests during interactive development to formal test suites.

In addition to `test : Quotations.Expr<bool> -> unit` used for performing most assertions, Unquote has convenience operators `=!`, `>!`, `<!`, `>=!`, `<=!`, and `<>!` for performing  simple comparison assertions. And finally, Unquote has operators `raises<'a when 'a :> exn> : Quotations.Expr -> unit` and `raisesWith : Expr -> (#exn -> Expr<bool>) -> unit` for asserting whether a quoted expression raises an expected exception.

At the heart of Unquote, are (public) operators for decompiling, evaluating, and incrementally reducing F# Quotations. Unquote can decompile many F# quoted expressions as single line, non-light syntax strings. See [Decompiler Features](../../wiki/DecompilerFeatures) for a list of notable decompiler features.

The incremental evaluator performs reduction steps until a non-reducible expression is reached. During a reduction step, an expression will be reduced if all of its subexpressions are already reduced, recursively reducing the sub-expressions otherwise. Hence order of evaluation is not strictly adhered to, but shouldn't be a problem in practice since assertion expressions are not expected to depend on order of evaluation side effects. Except for sequential expressions, which are evaluated from left to right, and control structures and boolean operator expressions, which follow valid branch paths and short-circuiting rules. If a test expression throws an exception, the test will fail and print each reduction step up to the point of the exception, and then print the exception.

---

To learn more about how to use Unquote, see [User Guide](../../wiki/UserGuide)

To learn about how you can contribute to Unquote's development, see [Contributing](../../wiki/Contributing)

---

Unquote was originally inspired by [Groovy Power Asserts](http://dontmindthelanguage.wordpress.com/2009/12/11/groovy-1-7-power-assert/).

---

You are welcome to [Pay What You Want](https://www.paypal.com/cgi-bin/webscr?cmd=_s-xclick&hosted_button_id=ZNFZMKQF77YRC) for Unquote via PayPal.

Copyright 2011-2024 [Swensen Software](http://www.swensensoftware.com)