added Data::as_strict which does a deep check of the validity of a da…

…ta structure

package.json

@@ -1,6 +1,6 @@
 {
     "name": "@helios-lang/compiler",
-    "version": "0.17.0-82",
+    "version": "0.17.0-83",
     "description": "Helios is a Domain Specific Language that compiles to Plutus-Core (i.e. Cardano on-chain validator scripts). Helios is a non-Haskell alternative to Plutus. With this library you can compile Helios scripts and build Cardano transactions, all you need to build 100% client-side dApps for Cardano.",
     "main": "src/index.js",
     "types": "types/index.d.ts",

src/codegen/makeRawFuncs.js

@@ -8633,8 +8633,24 @@ export function makeRawFunctions(simplify, isTestnet) {
         new RawFunc(
             `__helios__data__as[${FTPP}0]`,
             `(data) -> {
+		${FTPP}0__from_data(data)
+	}`
+        )
+    )
+    add(
+        new RawFunc(
+            `__helios__data__as_strict[${FTPP}0]`,
+            `(data) -> {
+		__core__ifThenElse(
+			${FTPP}0__is_valid_data(data),
+			() -> {
 				${FTPP}0__from_data(data)
-			}`
+			},
+			() -> {
+				__helios__error("invalid data structure")
+			}
+		)()
+	}`
         )
     )
     add(

src/program/version.js

@@ -1 +1 @@
-export const VERSION = "0.17.0-82"
+export const VERSION = "0.17.0-83"

src/typecheck/primitives.js

@@ -203,6 +203,11 @@ export const RawDataType = new GenericType({
         as: (() => {
             const a = new Parameter("a", `${FTPP}0`, new DefaultTypeClass())
 
+            return new ParametricData([a], a.ref)
+        })(),
+        as_strict: (() => {
+            const a = new Parameter("a", `${FTPP}0`, new DefaultTypeClass())
+
             return new ParametricData([a], a.ref)
         })()
     }),