Georges Dupéron
c871a36d8d
Remove contract
2017-09-26 19:34:23 +02:00
Georges Dupéron
d709704cd7
Cleanup
2017-09-26 18:54:29 +02:00
Georges Dupéron
bdbf4561dc
Bugfix
2017-09-26 18:48:15 +02:00
Georges Dupéron
8db58e1782
Debug
2017-09-26 18:39:04 +02:00
Georges Dupéron
7f911c3da7
Rollback improvements to typecheck-fail, as they cause errors (due to scoping issues, most likely)
2017-09-26 13:48:02 +02:00
Georges Dupéron
c115b497c0
Attempt to fix extra level of let for typecheck-fail
2017-09-26 13:18:33 +02:00
Georges Dupéron
6fd94fab24
Fixed free-vars issue
2017-09-26 12:43:24 +02:00
Georges Dupéron
44d7866687
Fixed bug, improved error reporting for typecheck-fail
2017-09-26 12:24:44 +02:00
Georges Dupéron
147536c9e7
Fixed error messages
2017-09-26 11:52:58 +02:00
Georges Dupéron
3c1d336b62
Fixed the "couldn't unify …" error message so that it matches the original one.
2017-09-25 17:47:49 +02:00
Georges Dupéron
eb65d1a2b7
Remove dependency
2017-09-25 17:12:35 +02:00
Georges Dupéron
68c24e4ded
Fixed some bugs and typos, added a contract on add-constraints/variance
2017-09-25 17:07:35 +02:00
Georges Dupéron
3b2d3eb96f
Cleanup
2017-09-25 15:44:38 +02:00
Georges Dupéron
64d506f579
Implemented add-constraints2
2017-09-25 15:34:04 +02:00
Georges Dupéron
6e15e6a05b
Starting to add support for subtyping to mlish
2017-09-20 15:50:15 +02:00
Milo Turner
6d496741c6
created fabUL-like langauge using lin + ext-stlc
...
closes #21
2017-08-28 18:00:27 -04:00
Milo Turner
5d412504fb
add linear language examples
...
closes #19
2017-08-28 18:00:13 -04:00
Milo Turner
3ea1f05c51
added keywords #:mode/#:submode + module turnstile/mode
...
closes #18
2017-08-28 17:59:48 -04:00
Milo Turner
fe5adac3db
add define-typed-variable-syntax
...
closes #13
2017-07-25 13:18:40 -04:00
Stephen Chang
39be2ef904
fix #16
2017-07-24 12:01:40 -04:00
Milo
2d6ecae8c4
added #:mode and #:modes premise syntax ( #16 )
2017-07-24 11:11:56 -04:00
Milo
61ad998c7a
simplified and documented linear language ( #15 )
2017-07-21 17:57:00 -04:00
Milo
e9c4b61db8
Added keyword in premises to allow parameterized call to infer ( #14 )
2017-07-21 15:04:50 -04:00
Alex Knauth
9d3c55d02b
add current-var-assign parameter ( #12 )
...
* add current-var-assign parameter
* add example of linear language + tests (Based on @iitalics work in pull request #11 )
2017-07-07 02:20:36 -04:00
AlexKnauth
7acbcbb0cc
add source location
2017-04-27 21:21:49 -07:00
AlexKnauth
e92156e78a
provide more pattern expanders for stlc+union base types
2017-04-25 16:47:11 -07:00
Alex Knauth
095c47c6cb
fix union collapsing ( #9 )
2017-04-25 13:35:47 -07:00
Alex Knauth
bbcdfaf9cf
add ~typecheck and ~⊢ pattern expanders ( #6 )
...
* add ~typecheck and ~⊢ pattern expanders
So that in normal macros, syntax classes, and normal syntax-parse
expressions, you can use use the Turnstile syntax to do typechecking
* add documentation for ~typecheck and ~⊢
2017-04-17 12:41:02 -07:00
AlexKnauth
f9199f6e37
Use filter-maximal for pruning redundant elements in unions
2017-04-10 21:41:15 -07:00
Milo Turner
2e03856589
Listed #:as keyword available in define-primop
2017-04-04 15:01:09 -04:00
Milo Turner
02fbf9f6d5
Listed the syntax class attributes for type-bind, type-ctx, type-ann
2017-04-04 15:01:09 -04:00
Milo Turner
881912d1fd
change some docs to adhere to the behavior of the code
2017-04-04 15:01:09 -04:00
AlexKnauth
33db7ad092
add missing syntax/loc
2017-04-03 15:15:19 -07:00
AlexKnauth
713eec89ea
provide ~True and ~False from stlc+union.rkt
2017-04-03 11:21:24 -07:00
Stephen Chang
d6012a7472
fix typo in stx-datum-equal? (from last commit)
2017-03-31 16:00:03 -04:00
Stephen Chang
28f6d782ec
generalize stx-member
2017-03-31 15:15:04 -04:00
Stephen Chang
7e3a21ba6f
extends form supports non-strs and allows explicit prefix
2017-03-30 19:01:56 -04:00
AlexKnauth
84b5a8759f
add stx-length>=? and stx-length<=?
2017-03-30 10:16:59 -07:00
Stephen Chang
28fa4dfb48
do not reprovide rackunit in rackunit-typechecking
2017-03-24 10:59:52 -04:00
Stephen Chang
2643d7c8f8
exclude rackunit-typechecking from compile
2017-03-23 16:38:54 -04:00
Stephen Chang
72bd18cd1a
exclude rackunit-typechecking from test
2017-03-23 16:23:35 -04:00
Stephen Chang
11551ee860
add turnstile/rackunit-typechecking abbrev
2017-03-23 15:43:34 -04:00
Stephen Chang
31c3bba5c9
add current-host-lang; fix reuse to work with non-strs
...
- other various stx conveniences
- provide more require/provide forms in default mod-beg
- fix tests and examples to work with current-host-lang
2017-03-22 17:04:48 -04:00
Stephen Chang
01799a12da
add with-ctx shorthand
2017-03-21 17:55:45 -04:00
Stephen Chang
3d9ef8424c
start dependent types example
2017-03-10 17:03:30 -05:00
Stephen Chang
0bccf822ad
type= handles literals
2017-03-06 13:21:49 -05:00
Stephen Chang
50f08886d1
rackunit-typechecking: add more esc chars
2017-03-03 16:20:16 -05:00
Stephen Chang
772a2f1337
fix mlish chameneos test again
2017-02-17 12:09:58 -05:00
Stephen Chang
8be9371ed2
fix mlish chameneos test
2017-02-17 11:27:58 -05:00
Stephen Chang
f68308c38d
fix stx->datum
2017-02-16 17:59:56 -05:00
