Thanks to visit codestin.com
Credit goes to github.com

Skip to content

shuai626/pact

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

43 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

outlaw/

Hosts files for the original 430 Outlaw compiler

pact/

Hosts files for compiler with function contracts

Instructions:

To open the Racket IDE:

cd pact
racket

Parsing:

To test parsing, do the following inside the racket IDE:

(require "parse.rkt")

(parse '(<insert_program_here>))

Compiling:

To test compilation, do the following inside the racket IDE, run the following:

(require "compile.rkt")
(require "parse.rkt")

(compile (parse '(<insert_program_here>)))

OR if you have a racket program (i.e. programs directory), call the following:

make <program_name>.run
./<program_name>.run

Testing:

To run the test suite:

cd pact/test
racket compile.rkt

About

A Racket compiler with support for contracts

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Contributors 4

  •  
  •  
  •  
  •  

Languages