tricu

An interpreted language for exploring Tree Calculus
Log | Files | Refs | README | LICENSE

compiler-conformance.json (4046B)

      1 {
      2   "compilerBundleSha256": "9c61d59cd76036000691da6ff5e2e9f641cf5c614b424d7280e052cfcb716e75",
      3   "hostSha256": "662fcf80231c070e4aa15dff1438aa1f5c99fb27a905f46a62efaff46c49f668",
      4   "backend": "stable",
      5   "export": "source_unit.compileStableModuleDefinitions",
      6   "cases": [
      7     {
      8       "source": "id = (x : x)",
      9       "export": "id",
     10       "arguments": [
     11         "2021020210202100"
     12       ],
     13       "definitions": {
     14         "id": "21100"
     15       },
     16       "result": "2021020210202100"
     17     },
     18     {
     19       "source": "pair a b = t a b",
     20       "export": "pair",
     21       "arguments": [
     22         "2102102100",
     23         "2202020210202102100221020202102021021000"
     24       ],
     25       "definitions": {
     26         "pair": "21212002120021201021200211002021100"
     27       },
     28       "result": "221021021002202020210202102100221020202102021021000"
     29     },
     30     {
     31       "source": "id = (x : x)\nanswer = id 42",
     32       "export": "answer",
     33       "arguments": [],
     34       "definitions": {
     35         "id": "21100",
     36         "answer": "2021020210202100"
     37       },
     38       "result": "2021020210202100"
     39     },
     40     {
     41       "source": "id = (x : x)\nanswer = id 42\nother = id 7\nmore = id 9\nextra = id 11\nlast = id 13",
     42       "export": "other",
     43       "arguments": [],
     44       "definitions": {
     45         "id": "21100",
     46         "answer": "2021020210202100",
     47         "other": "2102102100",
     48         "more": "21020202100",
     49         "extra": "210210202100",
     50         "last": "210202102100"
     51       },
     52       "result": "2102102100"
     53     },
     54     {
     55       "source": "io=t \"tricuIO\" (t 1 (t 11 t))",
     56       "export": "io",
     57       "arguments": [],
     58       "mode": "io",
     59       "input": "\u03bb\u96ea\ud83d\ude42",
     60       "definitions": {
     61         "io": "222020210202102102100220210202021021021002210202021020210210022102102020202102100221020210202102102100221020202102020210022102102102102020210002210022102102021000"
     62       },
     63       "result": "22102102021021021020210210210022021020210202102102102021021020210202021002202102020202021020202102102021021021021021000"
     64     },
     65     {
     66       "source": "main xs = (let rec\n  last [h] = h\n  last [_ | rest] = last rest\n  last _ = 0\n  in case xs of\n    [] = 0\n    _ = last xs)",
     67       "export": "main",
     68       "arguments": [
     69         "22102102100220210202102021000"
     70       ],
     71       "expectedNumber": 42,
     72       "extended": true,
     73       "definitions": {
     74         "main": "212121200212002121200212002120112002120112002121200212002120112002120112002120112011212021212002120021201120021201120021201120102120112002121200212002120102120021100202110020202110020021201120102120112120021200212010211002120102120102110021201120102120112010212011212002120021201021100212010212010211002020211002120102110021202121202121200212002120112002120112002121200212002120102120021200212010211002021201021100202021100202121100211002121200212002120102110020212120212120021200212011200212011200212120021200212010212002120021201021100202120102110020202110020212110021100211002021212002120021201121212021212002120021201120021201120021201120102120112002121200212002120102120021100202110020202110020020200212010212011212002120021212002120021201021200212002121200212002121200212002120112021201120112011202121100200212120021200212011200212011200212011201120021201120112002121200212002120112002120112002120112010212011200212011200212120021200212010212002120021201120212120021200212011200212011200212011201021201120021212002120021201021200211002021100202021100212010211002021201021212002120021201021200212002120102110020212010211002020212010212120021200212011200212011200212011201021201120021201120021212002120021201021200212002120102110020212010211002020212010211002020202110021201021201021100202121200212002120102110020200202120102121200212002120102110020200202120102110021201021212002120021201021200212002120102110020212010211002021100"
     75       },
     76       "result": "2021020210202100"
     77     },
     78     {
     79       "source": "id = (",
     80       "diagnostic": "Compiler diagnostic 2: expected token kind 7"
     81     },
     82     {
     83       "source": "id = nope",
     84       "diagnostic": "Compiler diagnostic 20 at 1:6: unresolved name \"nope\""
     85     }
     86   ]
     87 }