
* Generate code for fate ops from spec. * Generate the code from the makefile. Remove generated files. * Test targets and cleanup. * Spell eunit the right way. * Use test target for ci. * Renumber opcodes. Add primops. * Generate tokens in scanner from definitions. * Rename NUMBER op to GENERATION and add MICROBLOCK instruction. * Since Tag < Size, Size cannot be zero * unit is printed `()` * Formatting differently * Add eqc profile * Generate code for fate ops from spec. * Generate the code from the makefile. Remove generated files. * Test targets and cleanup. * Generate op pretty printer. * Removed unused function. * Polish Makefile file references (#11) * Parse all types of values except variants.
8 lines
205 B
Plaintext
8 lines
205 B
Plaintext
;; CONTRACT mapofmap
|
|
FUNCTION map() : {map, integer, {map, string, boolean}}
|
|
RETURNR {1 => { "foo" => true, "bar" => false},
|
|
2 => {},
|
|
3 => { "foo" => false}}
|
|
|
|
|