tricu

A lazy functional language based on Tree Calculus
Log | Files | Refs | README | LICENSE

compiler-conformance.json (4567B)

      1 {
      2   "compilerBundleSha256": "3d1a7bc92cddc5b47c722363a2069b3a6ef48f586fb6d26e810f69e6edfaabaa",
      3   "hostSha256": "3b9f1df33d5d2143206fb3559d7a0e514f80b3dc729deb9df5df556d060e6d94",
      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       "compileOnly": true,
     64       "executionRejected": "Unsupported tricuIO version"
     65     },
     66     {
     67       "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)",
     68       "export": "main",
     69       "arguments": [
     70         "22102102100220210202102021000"
     71       ],
     72       "expectedNumber": 42,
     73       "extended": true,
     74       "definitions": {
     75         "main": "212121200212002121200212002120112002120112002121200212002120112002120112002120112011212021212002120021201120021201120021201120102120112002121200212002120102120021100202110020202110020021201120102120112120021200212010211002120102120102110021201120102120112010212011212002120021201021100212010212010211002020211002120102110021202121202121200212002120112002120112002121200212002120102120021200212010211002021201021100202021100202121100211002121200212002120102110020212120212120021200212011200212011200212120021200212010212002120021201021100202120102110020202110020212110021100211002021212002120021201121212021212002120021201120021201120021201120102120112002121200212002120102120021100202110020202110020020200212010212011212002120021212002120021201021200212002121200212002121200212002120112021201120112011202121100200212120021200212011200212011200212011201120021201120112002121200212002120112002120112002120112010212011200212011200212120021200212010212002120021201120212120021200212011200212011200212011201021201120021212002120021201021200211002021100202021100212010211002021201021212002120021201021200212002120102110020212010211002020212010212120021200212011200212011200212011201021201120021201120021212002120021201021200212002120102110020212010211002020212010211002020202110021201021201021100202121200212002120102110020200202120102121200212002120102110020200202120102110021201021212002120021201021200212002120102110020212010211002021100"
     76       },
     77       "result": "2021020210202100"
     78     },
     79     {
     80       "source": "id x = x\nmain =\n  id\n  42",
     81       "export": "main",
     82       "arguments": [],
     83       "expectedNumber": 42,
     84       "extended": true,
     85       "definitions": {
     86         "id": "21100",
     87         "main": "2021020210202100"
     88       },
     89       "result": "2021020210202100"
     90     },
     91     {
     92       "source": "main = case t of\n  t = value\n  _ = 0\nwhere value = 42",
     93       "export": "main",
     94       "arguments": [],
     95       "expectedNumber": 42,
     96       "extended": true,
     97       "definitions": {
     98         "main": "2021020210202100"
     99       },
    100       "result": "2021020210202100"
    101     },
    102     {
    103       "source": "id = (",
    104       "diagnostic": "Compiler diagnostic 2: expected token kind 7"
    105     },
    106     {
    107       "source": "id = nope",
    108       "diagnostic": "Compiler diagnostic 20 at 1:6: unresolved name \"nope\""
    109     }
    110   ]
    111 }