source-academy / js-slang / 12154144569

77%

Build Type

push

github

Committed by web-flow

Commit Message

Implement the CSET machine, along with macros (#1728)

* add prelimiary framework for macro system

* Allow Scheme data types as part of control

* add functionality to scheme eval metaprocedure

* update macro skeleton

* add pattern matching system prototype

* complete first iteration of pattern matching functions

* finish first implementation of pattern matcher

* update tests for call/cc

* complete CSEP machine behaviour for standard syntax forms

* add tags to modified estree nodes, and deparser

* fix pattern matching logic

* allow let, cond, etc... to be defined in the prelude

* allow runtime checks for basic forms

* remove hack of storing scheme lists in estree nodes

* fix behaviour of ... in macros

* fix tests with scheme

* undo fix tests with scheme

* reduce strictness of scm-slang parser for FULL_SCHEME

* add more error-checking for CSEP machine

* add tests for CSEP machine and macros

* rename csep machine to cset machine

* implement the macro environment

* improve behaviour of CSET machine

* fix formatting issues

* Clean up helper functions

* create apply metaprocedure

* add tests for base cset machine and apply

* add named let to scheme prelude

---------

Co-authored-by: Kyriel Abad <e0969219@u.nus.edu>

Run Details

3654 of 4864 branches covered (75.12%)

Branch coverage included in aggregate %.

491 of 596 new or added lines in 11 files covered. (82.38%)

1 existing line in 1 file now uncovered.

11474 of 13663 relevant lines covered (83.98%)

145117.68 hits per line