 wes
|
b53b355a05
|
add expressjs server
|
8 years ago |
|
wes
|
ecb6d9b617
|
clean up and updates to the code
|
8 years ago |
|
wes
|
ccf897ea67
|
update with yarn, add missing require statement
|
8 years ago |
|
Wesley Kerfoot
|
8d61b9d640
|
Merge pull request #23 from oftn/master
closures!
|
10 years ago |
|
nisstyre56
|
cd1a478560
|
closures!
|
10 years ago |
|
nisstyre56
|
b66501f7a7
|
prevent clashes in the environment from the 'name' attribute
|
11 years ago |
|
nisstyre56
|
cc035dc383
|
progress on test evaluator
|
11 years ago |
|
nisstyre56
|
826b19a4de
|
restructure for evaluator
|
11 years ago |
Wesley Kerfoot
|
3c56d5d882
|
Merge pull request #22 from oftn/master
merge OFTN version
|
11 years ago |
|
Wesley Kerfoot
|
b99c443c93
|
Merge pull request #21 from beardtree/master
Adds package.json and .gitignore; README.md includes usage and installation instructions
|
11 years ago |
|
nisstyre56
|
a4d81a0bf7
|
remove code leftover from debugging
|
11 years ago |
|
nisstyre56
|
c34fd71244
|
fix bug where defops were not being included by the tokenizer properly, fixed precedence order mixup in prelude.jl
|
11 years ago |
Dan Kaplun
|
5b847fe090
|
Adds installation and usage instructions to README
|
11 years ago |
|
Dan Kaplun
|
bd801f8e18
|
Adds package.json
|
11 years ago |
|
nisstyre56
|
c29edfa7e1
|
remove extra parameter
|
11 years ago |
|
Dan Kaplun
|
a6c721da56
|
Adds simple NodeJS .gitignore
|
11 years ago |
|
nisstyre56
|
252798b134
|
return type alias bindings along with ast
|
11 years ago |
|
Wesley Kerfoot
|
815573ac6e
|
Merge pull request #20 from oftn/master
merge OFTN version
|
11 years ago |
|
nisstyre56
|
cd23678c5a
|
fix semantic ambiguity with type aliases vs. data types with no parameters
|
11 years ago |
|
nisstyre56
|
70d6090d68
|
remove old cruft
|
11 years ago |
|
nisstyre56
|
cd3d5f40db
|
rename file to be more inline with what it actually does
|
11 years ago |
|
nisstyre56
|
d38fba9b26
|
pull in prelude automatically
|
11 years ago |
|
nisstyre56
|
64419eeb07
|
move as many operator definitions to prelude.jl as possible, remove some ones I don't care about right now
|
11 years ago |
|
nisstyre56
|
914598e3e9
|
start moving operator definitions to prelude.jl
|
11 years ago |
|
nisstyre56
|
3b129e3802
|
fix silly mistake from when I must have been drunk or tired
|
11 years ago |
|
Wesley Kerfoot
|
c5b9d68afc
|
Merge pull request #19 from oftn/master
merge OFTN version
|
11 years ago |
|
nisstyre56
|
9bdd80121b
|
debugging print function
|
11 years ago |
|
nisstyre56
|
5c7f57d67d
|
style fixes
|
11 years ago |
|
Wesley Kerfoot
|
93cb81c719
|
Merge pull request #18 from oftn/master
merge OFTN version
|
11 years ago |
|
nisstyre56
|
a8e3afd946
|
misc style improvements, improve error reporting line/char info
|
11 years ago |
|
nisstyre56
|
87a4176bdd
|
fix bug with validity checking of type definitions
|
11 years ago |
|
nisstyre56
|
05742335bb
|
give a better name to type declarations in the IR
|
11 years ago |
|
nisstyre56
|
292517cb5c
|
add type for the cons operator
|
11 years ago |
|
nisstyre56
|
d36a8fe0d9
|
a bunch of types and declarations, adopt the prefix that unboxed types are declared as Intrinsic for now
|
11 years ago |
|
nisstyre56
|
88c1884112
|
missing semicolon
|
11 years ago |
|
Wesley Kerfoot
|
54f412f174
|
Merge pull request #17 from oftn/master
merge OFTN version
|
11 years ago |
|
nisstyre56
|
218f63d233
|
start building up stdlib type declarations for use in the type checker
|
11 years ago |
|
nisstyre56
|
0a999d9818
|
support for oneline comments using ; as the prefix
|
11 years ago |
|
Wesley Kerfoot
|
0aedc418d2
|
Merge pull request #16 from oftn/master
merge OFTN version
|
11 years ago |
|
nisstyre56
|
f33ee5ae70
|
pretty print debugging for data type defs, fixed another mistake
|
11 years ago |
|
nisstyre56
|
71640b2c48
|
fix typo and add test case for data type defs
|
11 years ago |
|
nisstyre56
|
49059be2fe
|
preliminary support for full data type definition syntax, misc improvements on error reporting (hopefully)
|
11 years ago |
|
Wesley Kerfoot
|
286e1c2273
|
Merge pull request #15 from oftn/master
merge OFTN version
|
11 years ago |
|
nisstyre56
|
0eafd96a7f
|
representation for type definitions with parameters
|
11 years ago |
|
nisstyre56
|
6b33a7e318
|
fix more bugs
|
11 years ago |
|
nisstyre56
|
39403648ec
|
fix a few bugs, functionality for aliasing type operators now works
|
11 years ago |
|
Wesley Kerfoot
|
2ae2439111
|
Merge pull request #14 from oftn/master
merge OFTN version
|
11 years ago |
|
nisstyre56
|
7bba04dae1
|
new example with a bunch of nested constructs to at least try to make testing more rigorous
|
11 years ago |
|
nisstyre56
|
9d1d75b4ba
|
(partial) support for type definition syntax, plus style cleanups
|
11 years ago |
|
Wesley Kerfoot
|
54ed5f7bac
|
Merge pull request #13 from oftn/master
add 'deftype' keyword to tokenizer
|
11 years ago |
