Code

Support nockma scry#2678

Code

Merged

janmasrovira merged 10 commits intomainanoma/juvix:mainfrom support-nockma-scryanoma/juvix:support-nockma-scryCopy head branch name to clipboardMar 21, 2024

+334-25

Commits

Commits on Mar 21, 2024

• Add scry (Nockma op 12) to Nockma language

  paulcadman

  committed
  3f1d47f

  Copy full SHA for 3f1d47f

• Add Hashable instance for Nockma Term and dependents

  paulcadman

  committed
  3b6d37d

  Copy full SHA for 3b6d37d

• Evaluate Nockma scry/op12 and add a test

  paulcadman

  committed
  8ceee2a

  Copy full SHA for 8ceee2a

• Make missing storage key an evaluation error

  paulcadman

  committed
  36a2dc8

  Copy full SHA for 36a2dc8

• Add builtin anoma-get

  Show description for aff33fb
  paulcadman

  committed
  aff33fb

  Copy full SHA for aff33fb

• Show that lists can be stored / retrieved using scry

  paulcadman

  committed
  e01032b

  Copy full SHA for e01032b

• OpAnomaGet is unsupported in JuvixAsm

  paulcadman

  committed
  e7e9e8e

  Copy full SHA for e7e9e8e

• Update src/Juvix/Compiler/Nockma/Evaluator/Error.hs

  Show description for 4b02b1a
  

  paulcadman

  and

  janmasrovira

  committed
  4b02b1a

  Copy full SHA for 4b02b1a

• Add missing file

  paulcadman

  committed
  c97f27d

  Copy full SHA for c97f27d

• Add a Tree transform to check that anoma-get is not used

  Show description for 9020516
  paulcadman

  committed
  9020516

  Copy full SHA for 9020516