greg
|
65c47c20fc
|
Change name of monad in which type inference happens
|
2018-11-07 17:01:07 -08:00 |
|
greg
|
fab3fb8ec2
|
More basic types + test
|
2018-11-07 16:39:32 -08:00 |
|
greg
|
0d5ccd21fe
|
TConst
|
2018-11-07 15:39:40 -08:00 |
|
greg
|
69b7b9f528
|
Print out types to REPL
|
2018-11-07 13:44:28 -08:00 |
|
greg
|
9a09f40222
|
More typing work
|
2018-11-07 03:39:31 -08:00 |
|
greg
|
020819550b
|
More typechecking infrastructure
|
2018-11-06 16:47:34 -08:00 |
|
greg
|
15f9dbe7a6
|
Typechecking infrastructure
|
2018-11-06 13:44:52 -08:00 |
|
greg
|
836bed1207
|
Added janky map to prelude
|
2018-11-06 03:02:32 -08:00 |
|
greg
|
cee5b085d5
|
Simpler syntax for single param in lambdas
This kind of implies that I might want -> for function types after all,
instead of :
|
2018-11-06 02:58:57 -08:00 |
|
greg
|
837a55c718
|
Test for nested function call
|
2018-11-06 02:42:28 -08:00 |
|
greg
|
f4f89b39b6
|
Handle nested function calls
|
2018-11-06 02:40:10 -08:00 |
|
greg
|
c6b4ed7ee4
|
Basic lambdas
|
2018-11-06 01:19:16 -08:00 |
|
greg
|
be425860af
|
Starting on lambdas
|
2018-11-05 21:13:31 -08:00 |
|
greg
|
17e88b33f2
|
Eval test doesn't need to be a macro
Can be a fn
|
2018-11-05 21:07:06 -08:00 |
|
greg
|
47f7eb1ef6
|
Make prelude be separate file
|
2018-11-05 20:55:03 -08:00 |
|
greg
|
72d0cfe466
|
More macro test consolidation
|
2018-11-05 20:52:18 -08:00 |
|
greg
|
cea2f63b44
|
Use macros to make types more concise
|
2018-11-05 20:12:10 -08:00 |
|
greg
|
eec315dd58
|
Get rid of exprstatement! macro
For shorter exst! one
|
2018-11-05 19:58:55 -08:00 |
|
greg
|
1e9aa91c5d
|
More concise test macros
|
2018-11-05 19:57:11 -08:00 |
|
greg
|
9813609ad7
|
Minor test refactoring
|
2018-11-05 19:17:53 -08:00 |
|
greg
|
5953d9d815
|
type annotations on lambdas
|
2018-11-05 19:10:34 -08:00 |
|
greg
|
a74e09c761
|
Change lambda syntax
|
2018-11-05 18:51:01 -08:00 |
|
greg
|
ad53d4394b
|
Get rid of println
|
2018-11-05 14:52:51 -08:00 |
|
greg
|
151246e1c5
|
Test for pattern-matching
|
2018-11-05 14:11:49 -08:00 |
|
greg
|
77d2826918
|
Pattern-match on structured objects
|
2018-11-05 14:01:14 -08:00 |
|
greg
|
1bd48ed5db
|
Fix problem with parsing commas
I should probably rethink how delimited block expressions like if-blocks
(and eventually for-blocks) work
|
2018-11-05 13:07:08 -08:00 |
|
greg
|
c394b81746
|
More pattern-matching
|
2018-11-05 04:02:04 -08:00 |
|
greg
|
ec29077247
|
More tuple-matching
Also discovered parser bug
|
2018-11-05 03:41:03 -08:00 |
|
greg
|
62043ac2d1
|
Starting on pattern-matching tuples
Lots of duplicated code here
|
2018-11-05 03:17:03 -08:00 |
|
greg
|
bada386979
|
More work on subpattern matching
|
2018-11-03 12:53:09 -07:00 |
|
greg
|
e71d404071
|
Finished this refactor
|
2018-11-02 19:54:04 -07:00 |
|
greg
|
cab4702bd6
|
Refactoring matching - WIP
doesn't work yet
|
2018-11-01 02:43:47 -07:00 |
|
greg
|
ec5a9d457e
|
String patterns
|
2018-10-31 01:45:16 -07:00 |
|
greg
|
bfbc1580aa
|
Make tag optional
|
2018-10-30 23:36:55 -07:00 |
|
greg
|
2d6c9010b9
|
More work here
|
2018-10-30 18:53:34 -07:00 |
|
greg
|
f4ff92302f
|
Use subpattern abstraction
|
2018-10-30 18:46:06 -07:00 |
|
greg
|
e88ed97b06
|
Add subpattern struct
|
2018-10-30 18:39:25 -07:00 |
|
greg
|
b8df09e956
|
Change eval strategy to use conditional sigil
|
2018-10-29 01:50:43 -07:00 |
|
greg
|
d7f0147a4f
|
Add conditional target placeholder expr
|
2018-10-28 12:45:45 -07:00 |
|
greg
|
f883512882
|
New abstraction layer in Schala-lang parser
Just for manipulating tokens
|
2018-10-21 16:33:21 -07:00 |
|
greg
|
37070a6b3e
|
Move pass chain generation from macro to codegen
|
2018-10-20 18:00:05 -07:00 |
|
greg
|
ffe7deb00a
|
Starting to move pass_chain logic into codegen
|
2018-10-20 15:54:46 -07:00 |
|
greg
|
d7baf065fb
|
Changing what method to call to start parsing
|
2018-10-20 15:41:09 -07:00 |
|
greg
|
6b42f8b8de
|
Change how parsing works
|
2018-10-20 14:27:00 -07:00 |
|
greg
|
d9e67a6341
|
Delete this old grammar file
|
2018-10-20 11:43:12 -07:00 |
|
greg
|
7de536ade0
|
Install failure crate
|
2018-10-20 11:17:18 -07:00 |
|
greg
|
f62b4c6906
|
Change format of error msg
|
2018-10-20 11:14:40 -07:00 |
|
greg
|
4679a9fc7f
|
Remove compiler warnings
|
2018-10-20 00:55:37 -07:00 |
|
greg
|
c25354b2c7
|
Get rid of typechecking code (for now)
I'm tired of seeing the errors. See branch last_commit_with_typechecking
|
2018-10-20 00:41:56 -07:00 |
|
greg
|
5f8b842bf2
|
Delete newline
|
2018-10-20 00:22:41 -07:00 |
|