nisstyre56
|
223eeb8e72
|
a few tweaks based on jshint
|
11 years ago |
nisstyre56
|
db2933031d
|
defuck tabs in files
|
11 years ago |
nisstyre56
|
8167fcf1ba
|
continuing syntax support for type declarations
|
11 years ago |
nisstyre56
|
491a41c774
|
updated example code
|
11 years ago |
nisstyre56
|
3f7b2af82f
|
-> should be in the list of operators
|
11 years ago |
nisstyre56
|
03dbefcdd9
|
error handling for type applications
|
11 years ago |
nisstyre56
|
0297fbd5af
|
fixed bug with defop parsing, wrong token type in the pattern
|
11 years ago |
nisstyre56
|
02896ff849
|
update README to actually explain the current status of this
|
11 years ago |
nisstyre56
|
778ffb63db
|
desugar type bindings
|
11 years ago |
nisstyre56
|
0e1927705b
|
removed old function that was not being used
|
11 years ago |
nisstyre56
|
581e5d02b1
|
remove redundant file
|
11 years ago |
nisstyre56
|
fbc2664a29
|
refactor parseMany function to accept general functions rather than strings, this is done in order to handle -> as an identifier rather than its own token
|
11 years ago |
nisstyre56
|
bb0a91b687
|
tweaks for identifier generation
|
11 years ago |
nisstyre56
|
754da9d966
|
switch to underscore.js random function
|
11 years ago |
nisstyre56
|
319e099297
|
generate arbitrary strings with different character ranges for quickcheck
|
11 years ago |
nisstyre56
|
6dd014e824
|
more testing code
|
11 years ago |
nisstyre56
|
2f4fd395c3
|
testing stuff for new types
|
11 years ago |
nisstyre56
|
b18d0a1eca
|
work on parsing type applications/signatures
|
11 years ago |
nisstyre56
|
be1996a1d9
|
check for NaN in tokenization functions
|
11 years ago |
nisstyre56
|
01e4e93b56
|
fixed some stupid bugs, started a file for testing the parser
|
11 years ago |
nisstyre56
|
488b99a957
|
changing license to ΩF:∅ Working Group
|
11 years ago |
Wesley Kerfoot
|
37813d489e
|
Merge pull request #1 from nisstyre56/master
Merge pull request #1 from oftn/master
|
11 years ago |
nisstyre56
|
65b2717d5b
|
removed spurious check on else variants
|
11 years ago |
nisstyre56
|
3b464b81cf
|
should error if an if-then-else expression has no else variant (must be that way due to the type system)
|
11 years ago |
nisstyre56
|
72374c9212
|
fixed error handling for dangling else
|
11 years ago |
Wesley Kerfoot
|
ab7053d687
|
Merge pull request #1 from oftn/master
merge OFTN version
|
11 years ago |
nisstyre56
|
3e1c5528e1
|
fixed bug in operator matching function
|
11 years ago |
nisstyre56
|
58f08f2578
|
handle empty applications
|
11 years ago |
nisstyre56
|
3794ab9271
|
removed test file
|
11 years ago |
nisstyre56
|
8bd8e7385d
|
adding more tests, commenting out regex test until I can figure out why some unicode chars cause it to fail
|
11 years ago |
nisstyre56
|
ffd3b00590
|
testing stuff
|
11 years ago |
nisstyre56
|
74b2c9b310
|
tests
|
11 years ago |
nisstyre56
|
4580a8c509
|
removing accidentally commited file that I never needed
|
11 years ago |
nisstyre56
|
24c29c3d0e
|
using javascript version of QuickCheck for testing
|
11 years ago |
nisstyre56
|
e11dcc36c8
|
changed example filename to example.jl
|
11 years ago |
nisstyre56
|
13201d8662
|
switching to underscore.js for most functionality
|
11 years ago |
nisstyre56
|
d366da152a
|
full closure conversion sort of works, doesn't map variables on to types yet, will have to add that
|
11 years ago |
nisstyre56
|
cb0dbd0948
|
fixed bugs in defop parsing, both in the tokenizer and parser (was doing something stupid with array comparisons)
|
11 years ago |
nisstyre56
|
27eee4bc10
|
free variable calculation and naive closure creation works
|
11 years ago |
nisstyre56
|
d5424b9c4b
|
closure stuff, desugar to curried functions
|
11 years ago |
nisstyre56
|
1e9e5c5607
|
removing old code
|
11 years ago |
nisstyre56
|
02baaa0192
|
some minor cosmetic fixes
|
11 years ago |
nisstyre56
|
b890053d20
|
readability fixes, a few bug fixes, can calculate free variables of let blocks, environments not being passed yet or closures created
|
11 years ago |
nisstyre56
|
0661a055c4
|
calculate the free variables of a function (not done yet)
|
11 years ago |
nisstyre56
|
f1aa8b324e
|
closure conversion, expanded description more
|
11 years ago |
nisstyre56
|
b2ea5642a2
|
closure conversion first commit
|
11 years ago |
nisstyre56
|
cb1af982ec
|
fixed bugs where I forgot to use new with constructors
|
11 years ago |
nisstyre56
|
527f1f5e34
|
adding cexp intermediate-representation, still needs work obviously
|
11 years ago |
wes
|
71f9342cea
|
support for user defined operators, working on type declarations and inference
|
11 years ago |
wes
|
b092190c08
|
preliminary support for user-defined operators
|
11 years ago |