Skip to content

Commit

Permalink
first commit baby
Browse files Browse the repository at this point in the history
  • Loading branch information
@hanleyc01
hanleyc01 committed Jun 13, 2023
0 parents commit 66f8de2
Show file tree
Hide file tree
Showing 46 changed files with 4,908 additions and 0 deletions.
1 change: 1 addition & 0 deletions compiled/eval_rkt.dep
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
("8.9" tarm64osx ("275034425c69ee14369a3ec748f2877591237f66" . "fdef3cf7b8d183cb6930619009a19b6802b81032") #"/Users/connorhanley/Code/compvert/mini-tt/rkttt/expr.rkt" #"/Users/connorhanley/Code/compvert/mini-tt/rkttt/val.rkt" (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"parametric.rkt") (collects #"racket" #"private" #"sort.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"runtime-path.rkt") (collects #"racket" #"sequence.rkt") (collects #"typed" #"racket" #"lang" #"reader.rkt") (collects #"typed" #"racket.rkt") (collects #"typed-racket" #"env" #"global-env.rkt") (collects #"typed-racket" #"env" #"struct-name-env.rkt") (collects #"typed-racket" #"env" #"type-alias-env.rkt") (collects #"typed-racket" #"env" #"type-name-env.rkt") (collects #"typed-racket" #"private" #"type-contract.rkt") (collects #"typed-racket" #"types" #"abbrev.rkt") (collects #"typed-racket" #"types" #"numeric-tower.rkt") (collects #"typed-racket" #"types" #"struct-table.rkt") (collects #"typed-racket" #"utils" #"any-wrap.rkt") (collects #"typed-racket" #"utils" #"eq-contract.rkt") (collects #"typed-racket" #"utils" #"evt-contract.rkt") (collects #"typed-racket" #"utils" #"hash-contract.rkt") (collects #"typed-racket" #"utils" #"opaque-object.rkt") (collects #"typed-racket" #"utils" #"prefab-c.rkt") (collects #"typed-racket" #"utils" #"promise-not-name-contract.rkt") (collects #"typed-racket" #"utils" #"redirect-contract.rkt") (collects #"typed-racket" #"utils" #"sealing-contract.rkt") (collects #"typed-racket" #"utils" #"shallow-contract.rkt") (collects #"typed-racket" #"utils" #"simple-result-arrow.rkt") (collects #"typed-racket" #"utils" #"struct-type-c.rkt") (collects #"typed-racket" #"utils" #"utils.rkt") (collects #"typed-racket" #"utils" #"vector-contract.rkt") (indirect collects #"racket" #"match" #"gen-match.rkt") (indirect collects #"racket" #"match" #"parse.rkt") (indirect collects #"syntax" #"define.rkt") (indirect collects #"typed-racket" #"base-env" #"base-env-indexing.rkt") (indirect collects #"typed-racket" #"base-env" #"base-env-numeric.rkt") (indirect collects #"typed-racket" #"base-env" #"base-env.rkt") (indirect collects #"typed-racket" #"base-env" #"base-special-env.rkt") (indirect collects #"typed-racket" #"base-env" #"base-structs.rkt") (indirect collects #"typed-racket" #"core.rkt") (indirect collects #"typed-racket" #"optimizer" #"optimizer.rkt") (indirect collects #"typed-racket" #"rep" #"type-rep.rkt") (indirect collects #"typed-racket" #"typecheck" #"tc-subst.rkt") (indirect collects #"typed-racket" #"typecheck" #"tc-toplevel.rkt") (indirect collects #"typed-racket" #"types" #"prop-ops.rkt"))
Binary file added compiled/eval_rkt.zo
Binary file not shown.
1 change: 1 addition & 0 deletions compiled/expr_rkt.dep
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
("8.9" tarm64osx ("3c2e33daa79f852751057239db17145d010879d4" . "d3d77d290175c6e3d6d904b284cb623a5159a142") (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"parametric.rkt") (collects #"racket" #"private" #"sort.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"runtime-path.rkt") (collects #"racket" #"sequence.rkt") (collects #"typed" #"racket" #"shallow" #"lang" #"reader.rkt") (collects #"typed" #"racket" #"shallow.rkt") (collects #"typed-racket" #"env" #"global-env.rkt") (collects #"typed-racket" #"env" #"struct-name-env.rkt") (collects #"typed-racket" #"env" #"type-alias-env.rkt") (collects #"typed-racket" #"env" #"type-name-env.rkt") (collects #"typed-racket" #"private" #"type-contract.rkt") (collects #"typed-racket" #"types" #"abbrev.rkt") (collects #"typed-racket" #"types" #"numeric-tower.rkt") (collects #"typed-racket" #"types" #"struct-table.rkt") (collects #"typed-racket" #"utils" #"any-wrap.rkt") (collects #"typed-racket" #"utils" #"eq-contract.rkt") (collects #"typed-racket" #"utils" #"evt-contract.rkt") (collects #"typed-racket" #"utils" #"hash-contract.rkt") (collects #"typed-racket" #"utils" #"opaque-object.rkt") (collects #"typed-racket" #"utils" #"prefab-c.rkt") (collects #"typed-racket" #"utils" #"promise-not-name-contract.rkt") (collects #"typed-racket" #"utils" #"redirect-contract.rkt") (collects #"typed-racket" #"utils" #"sealing-contract.rkt") (collects #"typed-racket" #"utils" #"shallow-contract.rkt") (collects #"typed-racket" #"utils" #"simple-result-arrow.rkt") (collects #"typed-racket" #"utils" #"struct-type-c.rkt") (collects #"typed-racket" #"utils" #"utils.rkt") (collects #"typed-racket" #"utils" #"vector-contract.rkt") (indirect collects #"typed-racket" #"base-env" #"base-env-indexing.rkt") (indirect collects #"typed-racket" #"base-env" #"base-env-numeric.rkt") (indirect collects #"typed-racket" #"base-env" #"base-env.rkt") (indirect collects #"typed-racket" #"base-env" #"base-special-env.rkt") (indirect collects #"typed-racket" #"base-env" #"base-structs.rkt") (indirect collects #"typed-racket" #"core.rkt") (indirect collects #"typed-racket" #"optimizer" #"optimizer.rkt") (indirect collects #"typed-racket" #"private" #"shallow-rewrite.rkt") (indirect collects #"typed-racket" #"rep" #"type-rep.rkt") (indirect collects #"typed-racket" #"typecheck" #"tc-toplevel.rkt"))
Binary file added compiled/expr_rkt.zo
Binary file not shown.
1 change: 1 addition & 0 deletions compiled/lexing_rkt.dep
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
("8.9" tarm64osx ("07bdb5aaff0c641b092d0be886e58d9cc45f5c07" . "90d3c64daade523d8592fba3b39ce672402556e1") (collects #"parser-tools" #"lex-sre.rkt") (collects #"parser-tools" #"lex.rkt") (collects #"parser-tools" #"yacc.rkt") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt"))
Binary file added compiled/lexing_rkt.zo
Binary file not shown.
1 change: 1 addition & 0 deletions compiled/normal_rkt.dep
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
("8.9" tarm64osx ("a2c3408fc232119c3e39592b7e1429a4688bde29" . "37641223792d0887ba0a8efd398cdb5413c8e14b") #"/Users/connorhanley/Code/compvert/mini-tt/rkttt/expr.rkt" (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"parametric.rkt") (collects #"racket" #"private" #"sort.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"runtime-path.rkt") (collects #"racket" #"sequence.rkt") (collects #"typed" #"racket" #"lang" #"reader.rkt") (collects #"typed" #"racket.rkt") (collects #"typed-racket" #"env" #"global-env.rkt") (collects #"typed-racket" #"env" #"struct-name-env.rkt") (collects #"typed-racket" #"env" #"type-alias-env.rkt") (collects #"typed-racket" #"env" #"type-name-env.rkt") (collects #"typed-racket" #"private" #"type-contract.rkt") (collects #"typed-racket" #"types" #"abbrev.rkt") (collects #"typed-racket" #"types" #"numeric-tower.rkt") (collects #"typed-racket" #"types" #"struct-table.rkt") (collects #"typed-racket" #"utils" #"any-wrap.rkt") (collects #"typed-racket" #"utils" #"eq-contract.rkt") (collects #"typed-racket" #"utils" #"evt-contract.rkt") (collects #"typed-racket" #"utils" #"hash-contract.rkt") (collects #"typed-racket" #"utils" #"opaque-object.rkt") (collects #"typed-racket" #"utils" #"prefab-c.rkt") (collects #"typed-racket" #"utils" #"promise-not-name-contract.rkt") (collects #"typed-racket" #"utils" #"redirect-contract.rkt") (collects #"typed-racket" #"utils" #"sealing-contract.rkt") (collects #"typed-racket" #"utils" #"shallow-contract.rkt") (collects #"typed-racket" #"utils" #"simple-result-arrow.rkt") (collects #"typed-racket" #"utils" #"struct-type-c.rkt") (collects #"typed-racket" #"utils" #"utils.rkt") (collects #"typed-racket" #"utils" #"vector-contract.rkt") (indirect collects #"typed-racket" #"base-env" #"base-env-indexing.rkt") (indirect collects #"typed-racket" #"base-env" #"base-env-numeric.rkt") (indirect collects #"typed-racket" #"base-env" #"base-env.rkt") (indirect collects #"typed-racket" #"base-env" #"base-special-env.rkt") (indirect collects #"typed-racket" #"base-env" #"base-structs.rkt") (indirect collects #"typed-racket" #"core.rkt") (indirect collects #"typed-racket" #"optimizer" #"optimizer.rkt") (indirect collects #"typed-racket" #"rep" #"type-rep.rkt") (indirect collects #"typed-racket" #"typecheck" #"tc-toplevel.rkt"))
Binary file added compiled/normal_rkt.zo
Binary file not shown.
1 change: 1 addition & 0 deletions compiled/parsing_rkt.dep
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
("8.9" tarm64osx ("2a9c7ca481f4109a1ef817c0038b6a28946ffde4" . "c9c3c72cd48ecc1149462d399fca0045685dc113") #"/Users/connorhanley/Code/compvert/mini-tt/rkttt/expr.rkt" #"/Users/connorhanley/Code/compvert/mini-tt/rkttt/lexing.rkt" (collects #"parser-tools" #"yacc.rkt") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (indirect collects #"typed-racket" #"rep" #"type-rep.rkt"))
Binary file added compiled/parsing_rkt.zo
Binary file not shown.
1 change: 1 addition & 0 deletions compiled/readback_rkt.dep
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
("8.9" tarm64osx ("7a46a5c4e21b086665185064c5854466bfa8e808" . "a0505096188eb86e8a030609af47f22982c21416") #"/Users/connorhanley/Code/compvert/mini-tt/rkttt/eval.rkt" #"/Users/connorhanley/Code/compvert/mini-tt/rkttt/normal.rkt" #"/Users/connorhanley/Code/compvert/mini-tt/rkttt/val.rkt" (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"parametric.rkt") (collects #"racket" #"private" #"sort.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"runtime-path.rkt") (collects #"racket" #"sequence.rkt") (collects #"typed" #"racket" #"lang" #"reader.rkt") (collects #"typed" #"racket.rkt") (collects #"typed-racket" #"env" #"global-env.rkt") (collects #"typed-racket" #"env" #"struct-name-env.rkt") (collects #"typed-racket" #"env" #"type-alias-env.rkt") (collects #"typed-racket" #"env" #"type-name-env.rkt") (collects #"typed-racket" #"private" #"type-contract.rkt") (collects #"typed-racket" #"types" #"abbrev.rkt") (collects #"typed-racket" #"types" #"numeric-tower.rkt") (collects #"typed-racket" #"types" #"struct-table.rkt") (collects #"typed-racket" #"utils" #"any-wrap.rkt") (collects #"typed-racket" #"utils" #"eq-contract.rkt") (collects #"typed-racket" #"utils" #"evt-contract.rkt") (collects #"typed-racket" #"utils" #"hash-contract.rkt") (collects #"typed-racket" #"utils" #"opaque-object.rkt") (collects #"typed-racket" #"utils" #"prefab-c.rkt") (collects #"typed-racket" #"utils" #"promise-not-name-contract.rkt") (collects #"typed-racket" #"utils" #"redirect-contract.rkt") (collects #"typed-racket" #"utils" #"sealing-contract.rkt") (collects #"typed-racket" #"utils" #"shallow-contract.rkt") (collects #"typed-racket" #"utils" #"simple-result-arrow.rkt") (collects #"typed-racket" #"utils" #"struct-type-c.rkt") (collects #"typed-racket" #"utils" #"utils.rkt") (collects #"typed-racket" #"utils" #"vector-contract.rkt") (indirect collects #"racket" #"match" #"gen-match.rkt") (indirect collects #"racket" #"match" #"parse.rkt") (indirect collects #"syntax" #"define.rkt") (indirect collects #"typed-racket" #"base-env" #"base-env-indexing.rkt") (indirect collects #"typed-racket" #"base-env" #"base-env-numeric.rkt") (indirect collects #"typed-racket" #"base-env" #"base-env.rkt") (indirect collects #"typed-racket" #"base-env" #"base-special-env.rkt") (indirect collects #"typed-racket" #"base-env" #"base-structs.rkt") (indirect collects #"typed-racket" #"core.rkt") (indirect collects #"typed-racket" #"optimizer" #"optimizer.rkt") (indirect collects #"typed-racket" #"rep" #"type-rep.rkt") (indirect collects #"typed-racket" #"typecheck" #"tc-toplevel.rkt"))
Binary file added compiled/readback_rkt.zo
Binary file not shown.
1 change: 1 addition & 0 deletions compiled/rkttt_rkt.dep
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
("8.9" tarm64osx ("4d2aac5c18b3829c5ec7eb05424c46c8fc67ebd9" . "ce89ffe7c071d1808cd4ee91d0025c3dfe60d501") #"/Users/connorhanley/Code/compvert/mini-tt/rkttt/expr.rkt" #"/Users/connorhanley/Code/compvert/mini-tt/rkttt/parsing.rkt" #"/Users/connorhanley/Code/compvert/mini-tt/rkttt/tc.rkt" #"/Users/connorhanley/Code/compvert/mini-tt/rkttt/val.rkt" (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (indirect collects #"typed-racket" #"rep" #"type-rep.rkt"))
Binary file added compiled/rkttt_rkt.zo
Binary file not shown.
1 change: 1 addition & 0 deletions compiled/tc_rkt.dep
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
("8.9" tarm64osx ("5d4895afb514d5c0c20b4396e79820a46c1ccdf9" . "fb4086be9b5257f30960568c8db1a5072cd88ba0") #"/Users/connorhanley/Code/compvert/mini-tt/rkttt/eval.rkt" #"/Users/connorhanley/Code/compvert/mini-tt/rkttt/expr.rkt" #"/Users/connorhanley/Code/compvert/mini-tt/rkttt/readback.rkt" #"/Users/connorhanley/Code/compvert/mini-tt/rkttt/val.rkt" (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"parametric.rkt") (collects #"racket" #"private" #"sort.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"runtime-path.rkt") (collects #"racket" #"sequence.rkt") (collects #"typed" #"racket" #"shallow" #"lang" #"reader.rkt") (collects #"typed" #"racket" #"shallow.rkt") (collects #"typed-racket" #"env" #"global-env.rkt") (collects #"typed-racket" #"env" #"struct-name-env.rkt") (collects #"typed-racket" #"env" #"type-alias-env.rkt") (collects #"typed-racket" #"env" #"type-name-env.rkt") (collects #"typed-racket" #"private" #"type-contract.rkt") (collects #"typed-racket" #"types" #"abbrev.rkt") (collects #"typed-racket" #"types" #"numeric-tower.rkt") (collects #"typed-racket" #"types" #"struct-table.rkt") (collects #"typed-racket" #"utils" #"any-wrap.rkt") (collects #"typed-racket" #"utils" #"eq-contract.rkt") (collects #"typed-racket" #"utils" #"evt-contract.rkt") (collects #"typed-racket" #"utils" #"hash-contract.rkt") (collects #"typed-racket" #"utils" #"opaque-object.rkt") (collects #"typed-racket" #"utils" #"prefab-c.rkt") (collects #"typed-racket" #"utils" #"promise-not-name-contract.rkt") (collects #"typed-racket" #"utils" #"redirect-contract.rkt") (collects #"typed-racket" #"utils" #"sealing-contract.rkt") (collects #"typed-racket" #"utils" #"shallow-contract.rkt") (collects #"typed-racket" #"utils" #"simple-result-arrow.rkt") (collects #"typed-racket" #"utils" #"struct-type-c.rkt") (collects #"typed-racket" #"utils" #"utils.rkt") (collects #"typed-racket" #"utils" #"vector-contract.rkt") (indirect collects #"racket" #"match" #"gen-match.rkt") (indirect collects #"racket" #"match" #"parse.rkt") (indirect collects #"syntax" #"define.rkt") (indirect collects #"typed-racket" #"base-env" #"base-env-indexing.rkt") (indirect collects #"typed-racket" #"base-env" #"base-env-numeric.rkt") (indirect collects #"typed-racket" #"base-env" #"base-env.rkt") (indirect collects #"typed-racket" #"base-env" #"base-special-env.rkt") (indirect collects #"typed-racket" #"base-env" #"base-structs.rkt") (indirect collects #"typed-racket" #"core.rkt") (indirect collects #"typed-racket" #"infer" #"infer.rkt") (indirect collects #"typed-racket" #"optimizer" #"optimizer.rkt") (indirect collects #"typed-racket" #"private" #"shallow-rewrite.rkt") (indirect collects #"typed-racket" #"rep" #"type-rep.rkt") (indirect collects #"typed-racket" #"typecheck" #"tc-subst.rkt") (indirect collects #"typed-racket" #"typecheck" #"tc-toplevel.rkt") (indirect collects #"typed-racket" #"types" #"overlap.rkt") (indirect collects #"typed-racket" #"types" #"printer.rkt") (indirect collects #"typed-racket" #"types" #"prop-ops.rkt"))
Binary file added compiled/tc_rkt.zo
Binary file not shown.
1 change: 1 addition & 0 deletions compiled/val_rkt.dep
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
("8.9" tarm64osx ("337b5f392da88c849e888fe0c7e11db4786d4048" . "37641223792d0887ba0a8efd398cdb5413c8e14b") #"/Users/connorhanley/Code/compvert/mini-tt/rkttt/expr.rkt" (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"parametric.rkt") (collects #"racket" #"private" #"sort.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"runtime-path.rkt") (collects #"racket" #"sequence.rkt") (collects #"typed" #"racket" #"lang" #"reader.rkt") (collects #"typed" #"racket.rkt") (collects #"typed-racket" #"env" #"global-env.rkt") (collects #"typed-racket" #"env" #"struct-name-env.rkt") (collects #"typed-racket" #"env" #"type-alias-env.rkt") (collects #"typed-racket" #"env" #"type-name-env.rkt") (collects #"typed-racket" #"private" #"type-contract.rkt") (collects #"typed-racket" #"types" #"abbrev.rkt") (collects #"typed-racket" #"types" #"numeric-tower.rkt") (collects #"typed-racket" #"types" #"struct-table.rkt") (collects #"typed-racket" #"utils" #"any-wrap.rkt") (collects #"typed-racket" #"utils" #"eq-contract.rkt") (collects #"typed-racket" #"utils" #"evt-contract.rkt") (collects #"typed-racket" #"utils" #"hash-contract.rkt") (collects #"typed-racket" #"utils" #"opaque-object.rkt") (collects #"typed-racket" #"utils" #"prefab-c.rkt") (collects #"typed-racket" #"utils" #"promise-not-name-contract.rkt") (collects #"typed-racket" #"utils" #"redirect-contract.rkt") (collects #"typed-racket" #"utils" #"sealing-contract.rkt") (collects #"typed-racket" #"utils" #"shallow-contract.rkt") (collects #"typed-racket" #"utils" #"simple-result-arrow.rkt") (collects #"typed-racket" #"utils" #"struct-type-c.rkt") (collects #"typed-racket" #"utils" #"utils.rkt") (collects #"typed-racket" #"utils" #"vector-contract.rkt") (indirect collects #"typed-racket" #"base-env" #"base-env-indexing.rkt") (indirect collects #"typed-racket" #"base-env" #"base-env-numeric.rkt") (indirect collects #"typed-racket" #"base-env" #"base-env.rkt") (indirect collects #"typed-racket" #"base-env" #"base-special-env.rkt") (indirect collects #"typed-racket" #"base-env" #"base-structs.rkt") (indirect collects #"typed-racket" #"core.rkt") (indirect collects #"typed-racket" #"optimizer" #"optimizer.rkt") (indirect collects #"typed-racket" #"rep" #"type-rep.rkt") (indirect collects #"typed-racket" #"typecheck" #"tc-toplevel.rkt"))
Binary file added compiled/val_rkt.zo
Binary file not shown.
8 changes: 8 additions & 0 deletions conditional.rkttt
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
(let (: bool set)
(sum ['t 'f]))

(let (: if (pi (: a set) (-> (* a a) (-> bool a))))
(lambda a
(lambda (, x y)
(fun [(=> 't x)
(=> 'f y)]))))
Loading

0 comments on commit 66f8de2

Please sign in to comment.