| .. |
|
Typechecker
|
Improving diagnostics a bit
|
2018-06-21 21:52:57 -04:00 |
|
Util
|
started deleting and cleanup, not compiling yet
|
2018-05-16 18:20:27 -04:00 |
|
ABT.hs
|
tests passing
|
2018-06-21 20:55:17 -04:00 |
|
Builtin.hs
|
Pattern matching on an effect typechecks!
|
2018-06-18 15:53:57 -04:00 |
|
Codecs.hs
|
update codecs to use VarInt encoding for Text and Array lengths
|
2018-06-11 18:54:39 -04:00 |
|
DataDeclaration.hs
|
check for free type vars in data decls before typechecking, subst them away in bootstrap
|
2018-06-13 10:41:30 -04:00 |
|
FileParser.hs
|
check for free type vars in data decls before typechecking, subst them away in bootstrap
|
2018-06-13 10:41:30 -04:00 |
|
FileParsers.hs
|
Typechecker compiles with new typechecking monad that can read a set of ambient abilities, not hooked up anywhere yet
|
2018-06-18 17:29:18 -04:00 |
|
Hash.hs
|
add canonicalization tests for data type hashing
|
2018-06-04 12:27:22 -04:00 |
|
Hashable.hs
|
implemented hashing of effect types and added some better docs
|
2018-05-31 18:01:12 -04:00 |
|
Kind.hs
|
started deleting and cleanup, not compiling yet
|
2018-05-16 18:20:27 -04:00 |
|
Note.hs
|
refactor towards adding typechecking tests having data declarations
|
2018-06-14 13:34:38 -04:00 |
|
Parser.hs
|
progress, fixed issue with subtyping of Effect types and also issue with checking of handle blocks
|
2018-06-21 18:02:47 -04:00 |
|
Parsers.hs
|
including that one
|
2018-06-12 17:41:14 -04:00 |
|
Path.hs
|
started deleting and cleanup, not compiling yet
|
2018-05-16 18:20:27 -04:00 |
|
Paths.hs
|
started deleting and cleanup, not compiling yet
|
2018-05-16 18:20:27 -04:00 |
|
Pattern.hs
|
finished filling in serializePattern
|
2018-06-04 18:01:23 -04:00 |
|
Reference.hs
|
implemented Accumulate Hash using cryptonite
|
2018-05-31 17:10:24 -04:00 |
|
Symbol.hs
|
we are debugging typechecking of patterns
|
2018-06-13 14:24:49 -04:00 |
|
Term.hs
|
report free type vars before starting typechecking
|
2018-06-21 18:30:43 -04:00 |
|
TermParser.hs
|
Typechecking guards
|
2018-06-15 00:00:13 -04:00 |
|
Type.hs
|
Unifying abilities with subabilities
|
2018-06-19 16:46:29 -04:00 |
|
Typechecker.hs
|
Disabling ability checks in fake pattern effect terms
|
2018-06-19 15:31:08 -04:00 |
|
TypeParser.hs
|
Plumbing to get typechecker tests working
|
2018-06-14 15:22:09 -04:00 |
|
TypeVar.hs
|
report free type vars before starting typechecking
|
2018-06-21 18:30:43 -04:00 |
|
UnisonFile.hs
|
Split UnisonFile data structure / non-parsing-related out of FileParser
|
2018-06-08 12:30:25 -04:00 |
|
Var.hs
|
Debugging letrec typechecking
|
2018-06-21 12:49:12 -04:00 |
