mirror of
https://github.com/digital-asset/daml.git
synced 2024-09-20 17:28:46 +03:00
438c204fc4
* Add choice observers in LF spec. Part of #7709. Adds choice observers to the syntax, type system, and and operational semantics of LF. Adds a test for the operational semantics of choice observers. changelog_begin changelog_end * typo * remove duplicate rule * Always have choice observers * Add comment in serialization section
11 lines
226 B
Haskell
11 lines
226 B
Haskell
|
|
-- | Tests new "value cases" available since Daml 1.7
|
|
--
|
|
-- @SINCE-LF 1.7
|
|
module SemanticsValueSince1_7 where
|
|
|
|
main = scenario do
|
|
let x : forall (n:GHC.Types.Nat). Numeric n
|
|
x = error "ValExpTyAbsNat"
|
|
pure ()
|