greg
|
993741e67f
|
Get rid of typecheck_
|
2019-02-17 04:08:49 -08:00 |
|
greg
|
fbb7b995b8
|
Rename mk_type! to ty!
Doesn't seem to conflict with the same macro in the parser tests, so should be
ok
|
2019-02-17 03:38:15 -08:00 |
|
greg
|
9d4f086a04
|
Put mk_type! in typechecking module
|
2019-02-17 03:36:12 -08:00 |
|
greg
|
e38ae1c3f1
|
Fix type to make it compile
|
2019-02-15 21:11:50 -08:00 |
|
greg
|
d969d573fa
|
Starting work on values
|
2019-02-12 21:14:13 -08:00 |
|
greg
|
35da1748f0
|
Some more type work
|
2019-02-10 12:21:12 -08:00 |
|
greg
|
5e1799268d
|
Unification works with bad annotations
|
2019-02-10 07:32:12 -08:00 |
|
greg
|
42a801d346
|
Rename Order -> Ordering
|
2019-02-10 07:06:30 -08:00 |
|
greg
|
a80e1bd706
|
Type name infra
|
2019-02-10 07:05:01 -08:00 |
|
greg
|
afd9aa52c5
|
More infra around unify
|
2019-02-10 06:53:11 -08:00 |
|
greg
|
5a70784346
|
Adding unify stub
|
2019-02-10 06:48:25 -08:00 |
|
greg
|
0dff177e8f
|
Add more literals kill errors
|
2019-02-10 05:33:55 -08:00 |
|
greg
|
cf91f74912
|
Pass through type info to repl
|
2019-02-10 05:31:58 -08:00 |
|
greg
|
06e9452718
|
More type infrastructure
From here on out, I can start playing with concrete code that attempts
to actually typecheck limited syntactic constructs, and see what I end
up with.
|
2019-02-10 05:24:11 -08:00 |
|
greg
|
7d3ae36058
|
AST-walking infrastructure
|
2019-02-10 04:42:30 -08:00 |
|
greg
|
e8f1f51639
|
Move (most of) the type definitions back to typechecking module
Still need to figure out the macro export thing
|
2019-02-10 04:30:37 -08:00 |
|
greg
|
170cf349d7
|
Starting typechecking work again
|
2019-02-09 00:25:12 -08:00 |
|
greg
|
30676722a3
|
Transition to edition 2018
|
2019-01-07 13:00:37 -08:00 |
|
greg
|
821f321261
|
More Node-wrapping of Expression
|
2019-01-05 18:11:51 -08:00 |
|
greg
|
879a7de83d
|
Wrap Expression in Node
|
2019-01-05 15:47:44 -08:00 |
|
greg
|
282c42da3c
|
Adding Node intermediate type to AST
|
2019-01-05 01:44:32 -08:00 |
|
greg
|
955c073174
|
Got typechecker unused errors down to one
|
2018-11-13 02:39:02 -08:00 |
|
greg
|
7c46a29141
|
Start adding doc comments
|
2018-11-11 18:04:44 -08:00 |
|
greg
|
0adc761e72
|
Kill an unimplemented!()
|
2018-11-11 02:48:51 -08:00 |
|
greg
|
b2039a7b67
|
Parameterize Type type over existential/universal
|
2018-11-10 16:33:42 -08:00 |
|
greg
|
b4c4531e4d
|
Rename for more concision
|
2018-11-10 14:11:29 -08:00 |
|
greg
|
2d36ad44d6
|
Converting over types
WIP
|
2018-11-09 02:50:29 -08:00 |
|
greg
|
21132a369c
|
Paramaterize Type
|
2018-11-09 02:05:59 -08:00 |
|
greg
|
e39356c0e5
|
Even more type work
|
2018-11-09 00:21:34 -08:00 |
|
greg
|
d44bb02d61
|
Even more types
|
2018-11-08 20:30:17 -08:00 |
|
greg
|
9056e9b0e1
|
More type work2
|
2018-11-08 02:29:54 -08:00 |
|
greg
|
e9b90412ce
|
More type work
|
2018-11-08 02:12:01 -08:00 |
|
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
|
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
|
3b20b9e209
|
Put schala-lang crates into a subdirectory
|
2018-10-17 14:51:48 -07:00 |