diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2026-07-31 03:07:38 +0200 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2026-07-31 03:07:38 +0200 |
| commit | 714b22c4969914b6bcf88026d0e9b1655aa9684a (patch) | |
| tree | 004183ed62c5c649bea913dc29e5eee64ae40dff /source/Test/Unit/Materialization.hs | |
| parent | a9bd73e0e8b41b8b05654b1ac19bf5432998f993 (diff) | |
Reject duplicate interface identity inputs
Diffstat (limited to 'source/Test/Unit/Materialization.hs')
| -rw-r--r-- | source/Test/Unit/Materialization.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/source/Test/Unit/Materialization.hs b/source/Test/Unit/Materialization.hs index 45b4a38..fe27b3c 100644 --- a/source/Test/Unit/Materialization.hs +++ b/source/Test/Unit/Materialization.hs @@ -257,9 +257,9 @@ makeFixture = do environment) interface <- expectRight (Semantic.semanticInterface owner [] [delta]) - let prefix = - Semantic.initialPrefixContextId theory owner [] - syntax = + prefix <- expectRight + (Semantic.initialPrefixContextId theory owner []) + let syntax = Semantic.proofSyntaxId "proof" key = Semantic.proofValidationKey |