Code

Support cross-quotation references#61

Code

Merged

LPTK merged 5 commits intomasterepfldata/squid:masterfrom cross-quotation-referencesepfldata/squid:cross-quotation-referencesCopy head branch name to clipboardJan 14, 2019

+382-35

Commits

Commits on Jan 13, 2019

• Require annotation or explicit % for cross-stage references

  Show description for eda4b8f
  LPTK

  committed
  eda4b8f

  Copy full SHA for eda4b8f

• Finally implement cross-quotation references!

  Show description for c5cf786
  LPTK

  committed
  c5cf786

  Copy full SHA for c5cf786

• Simplify the typing scheme for cross-quotation references

  Show description for 4321c35
  LPTK

  committed
  4321c35

  Copy full SHA for 4321c35

• Add some minor tests

  LPTK

  committed
  56d6b31

  Copy full SHA for 56d6b31

Commits on Jan 14, 2019

• Add macro for referring to singleton types of AnyVal-typed variables

  LPTK

  committed
  563d5b4

  Copy full SHA for 563d5b4