Commit Graph

770 Commits

Author SHA1 Message Date
Robby Findler
e1529f3969 improved language portion of initial wizard
svn: r1078
2005-10-14 02:18:43 +00:00
Matthew Flatt
2299baf597 r5rs letrec fix
svn: r1077
2005-10-14 01:22:36 +00:00
Eli Barzilay
c47b962567 disconnect politely if there are no active assignments
svn: r1076
2005-10-13 22:12:22 +00:00
Robby Findler
988dfce4ae fixed bug so that number snips can be loaded outside of drscheme
svn: r1075
2005-10-13 21:55:14 +00:00
Matthew Flatt
2d484520b2 more 299.404
svn: r1074
2005-10-13 19:58:54 +00:00
Eli Barzilay
d044b06b27 deal with eof a little better
svn: r1071
2005-10-13 18:43:27 +00:00
Eli Barzilay
bab76d0479 * Renamed kw-proc.ss to kw..ss
* Make only #:optopnal and #:key work, no alternative names

svn: r1069
2005-10-13 16:39:51 +00:00
Matthew Flatt
71c85fc75e changed sub/superscript scale to 2/3, improved docs to clarify tex vs. mred
svn: r1067
2005-10-13 16:18:47 +00:00
Robby Findler
ee081262e8 fixed bug
svn: r1066
2005-10-13 13:52:17 +00:00
Eli Barzilay
6dc6c78557 Welcome to a new PLT day.
svn: r1062
2005-10-13 08:20:01 +00:00
Eli Barzilay
6f4241fe7f just an initial test set for keyword args
svn: r1061
2005-10-13 06:27:16 +00:00
Eli Barzilay
3bded648f7 first version of swindle-like keywords
svn: r1060
2005-10-13 02:43:44 +00:00
Eli Barzilay
e6f69f0996 svn: r1059 2005-10-13 02:23:43 +00:00
Eli Barzilay
76640f4c6c svn: r1058 2005-10-13 01:53:32 +00:00
Eli Barzilay
dfbc4c9baa adjust properties
svn: r1057
2005-10-12 23:18:35 +00:00
Chongkai Zhu
0a6f0dd09b SRFI 34 from Schematics
svn: r1056
2005-10-12 23:15:00 +00:00
Robby Findler
02687a1744 updated portuguese translation
svn: r1055
2005-10-12 22:11:41 +00:00
Robby Findler
f94580cb77 fixed bug
svn: r1054
2005-10-12 20:22:54 +00:00
Eli Barzilay
402ec4da0f Welcome to a new PLT day.
svn: r1051
2005-10-12 08:20:06 +00:00
Eli Barzilay
03cde66969 Make it possible to control the current timeout.
svn: r1046
2005-10-11 19:38:37 +00:00
Robby Findler
0484ff7f56 somewhat fixed up -d mode
svn: r1044
2005-10-11 14:58:40 +00:00
Robby Findler
83c917698d added portuguese translation
svn: r1043
2005-10-11 14:40:17 +00:00
Robby Findler
71a5040785 fixed pr 7628, ->d now checks the domain contract before partially applying the range function
svn: r1042
2005-10-11 12:57:57 +00:00
Eli Barzilay
bc6ef7ede0 Welcome to a new PLT day.
svn: r1041
2005-10-11 08:20:01 +00:00
Eli Barzilay
f30e285be4 Make `with-watcher' deal with timeouts if not in 3m,
removed timeout from `run-server'.

svn: r1040
2005-10-11 05:36:32 +00:00
Eli Barzilay
b93a25c3ad utf-8 charset
svn: r1039
2005-10-11 01:49:48 +00:00
Robby Findler
ff430e189d allow outline and solid arguments to image contructors to be strings
svn: r1036
2005-10-10 17:04:35 +00:00
Robby Findler
9426bc8248 updated test suite for string solid/outline arguments
svn: r1035
2005-10-10 15:42:20 +00:00
Eli Barzilay
2eed6deb6f Welcome to a new PLT day.
svn: r1033
2005-10-10 08:20:09 +00:00
Eli Barzilay
b4182a661b Welcome to a new PLT day.
svn: r1031
2005-10-09 08:20:06 +00:00
Eli Barzilay
778075ac2a Add support for text boxes, xml boxes, and scheme boxes.
svn: r1030
2005-10-09 04:59:10 +00:00
Eli Barzilay
dff3e69814 dont ignore checker body if not evaluating submission
svn: r1029
2005-10-09 02:51:29 +00:00
Eli Barzilay
af24612618 reorganize text
svn: r1028
2005-10-09 02:45:13 +00:00
Eli Barzilay
ec66204e56 added defaults
svn: r1027
2005-10-09 01:06:31 +00:00
Eli Barzilay
0946433c82 * Added a message-final that can be used to leave a message when handin is
done.
* A little more pleasant error messages on submission errors.

svn: r1026
2005-10-09 01:03:49 +00:00
Eli Barzilay
e323d15247 * Added a (message "..." 'final) that can be used to leave a message when
handin is done.
* Added `add-header-line' and a `:user-error-message' option to extra-utils.ss

svn: r1025
2005-10-09 00:56:06 +00:00
Eli Barzilay
b06cb9a2fc Welcome to a new PLT day.
svn: r1024
2005-10-08 08:20:03 +00:00
Eli Barzilay
bedb4235c3 make LOG available for user code
svn: r1023
2005-10-08 03:38:02 +00:00
Eli Barzilay
f9455176b7 enable/disable the retrieve box too
svn: r1022
2005-10-08 00:40:37 +00:00
Jay McCarthy
7b6f89f066 Fixing servlets/ bug
svn: r1021
2005-10-07 23:53:00 +00:00
Eli Barzilay
d4b6a1e120 sample c-printf interface
svn: r1020
2005-10-07 22:22:44 +00:00
Matthew Flatt
57f609e539 MDI child fixes, new on-mdi-activate method
svn: r1019
2005-10-07 19:11:42 +00:00
Robby Findler
a596d06517 fixed hash-bang bug
svn: r1016
2005-10-07 17:59:57 +00:00
Matthew Flatt
368b9d3382 fix 3m-too flag
svn: r1015
2005-10-07 17:21:10 +00:00
Eli Barzilay
6afc5dd4e5 Added the ability to have pre- and post-checkers.
Added and documented extra-utils.ss.

svn: r1009
2005-10-07 14:38:09 +00:00
Eli Barzilay
b24429088b allow messages after commit
svn: r1008
2005-10-07 14:36:46 +00:00
Eli Barzilay
480a71c271 Welcome to a new PLT day.
svn: r1007
2005-10-07 08:20:03 +00:00
Robby Findler
b0520f953b added diamond next to tab names to indicate unsaved tabs
svn: r1006
2005-10-07 02:31:46 +00:00
Eli Barzilay
3db301fcea typos
svn: r1005
2005-10-07 02:00:11 +00:00
Robby Findler
5840bea8f6 bug fix where io would get syntax colored
svn: r1004
2005-10-06 19:47:43 +00:00
Matthew Flatt
5c1a331d3b improved file dialogs for mac os x, changed create-executable interface, and fixed parsing of infix dots to require a delimitter after the second dot
svn: r1000
2005-10-06 15:54:38 +00:00
Matthew Flatt
0d44f44db9 fixed . typo that mzscheme now flags as a syntax error
svn: r999
2005-10-06 15:45:07 +00:00
Robby Findler
3139454548 fixed bug where one original identifier ends up being used in two different lexical contexts causes renaming not to work
svn: r998
2005-10-06 13:07:17 +00:00
Eli Barzilay
36edbf7c4a Welcome to a new PLT day.
svn: r997
2005-10-06 08:20:02 +00:00
Eli Barzilay
761c816280 Renamed tool.ss tp client-gui.ss -- the handin client is very useful
as part of a course package, so a less generic name is better.

svn: r996
2005-10-06 06:37:40 +00:00
Eli Barzilay
6d152fb925 * The protocol is changed, so its identifier is changed for safety
(from 'original to 'ver1).
* The client gets the list of extra fields from the server (when the
  dialog is used for the first time), the full-name, ID, and email
  fields are now part of this description which is in the server
  configuration file
* The network protocol has a generic initial part when clients set
  arbitrary key/values that are later used for actual actions
* In the submission dialog, there is a checkbox that makes it retrieve
  the submitted work instead of sending a new one.  The retrieved
  contents will pop up in a new DrScheme frame.  The file that is
  retrieved is the newest WXME file that is found in the student's
  main submission directory.
* The hack of returning a list from the checker is not needed now --
  it is possible to send text messages that are displayed on the
  handin dialog and it is also possible to send message-boxes and get
  the result that the client returns after getting the user response.
  This is a much better generalization of the single final popup that
  was enabled by the list hack.
* When registering, a second password for verification is required.
* It is now possible to edit any information field, with a
  configuration entry that locks by default any such changes.
* It is now possible to standard Unix encrypted passwords instead of
  MD5 hashes -- so a "users.ss" can be made from a plain /etc/passwd
  file.

svn: r995
2005-10-06 06:32:25 +00:00
Eli Barzilay
e517d0c407 string->keyword and back
svn: r991
2005-10-06 01:28:13 +00:00
Eli Barzilay
6311e99d2d Added some new primitive types
svn: r990
2005-10-06 01:25:54 +00:00
Eli Barzilay
ad376632e6 Swindle now overrides `keyword?' etc, so it still uses the same hack
and not MzScheme's keywords.

svn: r989
2005-10-05 23:40:08 +00:00
Carl Eastlund
a57403031e Honu:
- test-cases.ss
  - Used new test framework to test example files
  - Used new test framework to test non-void-statement error message
- private/tools/test.ss
  - Implemented new SchemeUnit-like test-case macros

svn: r987
2005-10-05 20:57:48 +00:00
Matthew Flatt
50a666ebd9 plain label strips parenthesized accelerators
svn: r983
2005-10-05 16:22:57 +00:00
Eli Barzilay
fd3b20e901 Welcome to a new PLT day.
svn: r982
2005-10-05 08:20:07 +00:00
Carl Eastlund
f3d24c7d46 Honu:
- doc.txt, documented the sqrt() function
- typecheck-expression.ss, line-wrapped to <100 columns
- type-utils.ss, changed printout for void type from "<>" to "void"

svn: r980
2005-10-04 22:01:03 +00:00
Matthew Flatt
8b384758e2 3m instructions
svn: r976
2005-10-04 20:41:28 +00:00
Matthew Flatt
ddb6c424ef prototype correction
svn: r974
2005-10-04 20:21:47 +00:00
Matthew Flatt
43abf620ac mzc --xform
svn: r973
2005-10-04 19:48:10 +00:00
Matthew Flatt
5dc1f6577a updated for mzc --xform
svn: r972
2005-10-04 19:47:02 +00:00
Matthew Flatt
8c2592b9fb include dirs for xform
svn: r971
2005-10-04 18:59:23 +00:00
Matthew Flatt
72d203a744 verbose xform
svn: r970
2005-10-04 18:52:54 +00:00
Matthew Flatt
117ec552fe verbose xform
svn: r969
2005-10-04 18:52:37 +00:00
Matthew Flatt
29cbaa9fc2 xform support in setup-extension
svn: r968
2005-10-04 18:42:24 +00:00
Matthew Flatt
bda88101f8 xform support in setup-extension
svn: r967
2005-10-04 18:41:49 +00:00
Matthew Flatt
f9b58b05b7 avoid defining keyword?
svn: r965
2005-10-04 16:07:43 +00:00
Jay McCarthy
eec8a3ec9a Converting to block buffering and flushing
svn: r963
2005-10-04 12:52:18 +00:00
Eli Barzilay
8b6f6f87f6 Welcome to a new PLT day.
svn: r962
2005-10-04 08:20:02 +00:00
Matthew Flatt
d79176f308 Chongkai's Chinese translations
svn: r959
2005-10-03 15:57:28 +00:00
Robby Findler
c9e81b63fa made yellow/black REPL warning go before output, rather than after
svn: r958
2005-10-03 15:55:08 +00:00
Eli Barzilay
2a34ce7c2b Welcome to a new PLT day.
svn: r957
2005-10-03 08:20:06 +00:00
Eli Barzilay
c4fb02a51e Welcome to a new PLT day.
svn: r956
2005-10-02 08:20:06 +00:00
Eli Barzilay
de5aff6f45 Welcome to a new PLT day.
svn: r954
2005-10-01 08:20:02 +00:00
Eli Barzilay
ecccc729c6 typo
svn: r953
2005-10-01 02:38:28 +00:00
Robby Findler
4407f75e8e improved matchers performance somewhat
svn: r948
2005-09-30 12:19:07 +00:00
Eli Barzilay
fafbf7682e Welcome to a new PLT day.
svn: r947
2005-09-30 08:20:03 +00:00
Carl Eastlund
cc6b1954e5 Honu:
- top.ss
  - removed top: prefix from exports
  - renamed parse-file to ast-from-file to prevent name clash
  - removed test case list and run-tests
- test-cases.ss
  - added test case list and run-tests
- test-tools.ss
  - renamed from test.ss

svn: r945
2005-09-29 22:21:48 +00:00
Matthew Flatt
57d39569fe removed #kd, fixed :interface
svn: r944
2005-09-29 20:06:09 +00:00
Carl Eastlund
365754f55c Honu:
- top.ss
  - commented out compile-failure tests for now
- cce-notes.txt
  - added my preliminary notes about the Honu codebase
- examples/*-test.ss
  - added *-test.ss files for all *.honu files

svn: r943
2005-09-29 16:14:54 +00:00
Matthew Flatt
a31d901061 check smoothing flag before enabling for printer output
svn: r942
2005-09-29 15:56:47 +00:00
Matthew Flatt
eb1c454246 avoid leading colon
svn: r941
2005-09-29 15:56:17 +00:00
Matthew Flatt
898f64df63 avoid leading colon for id
svn: r940
2005-09-29 15:51:20 +00:00
Matthew Flatt
4c5aff33a8 avoid leading colon for id
svn: r939
2005-09-29 15:50:33 +00:00
Matthew Flatt
63e051aee8 removed unused :ucall
svn: r938
2005-09-29 15:50:14 +00:00
Matthew Flatt
74a64f50da avoid leading colon for id
svn: r937
2005-09-29 15:49:48 +00:00
Matthew Flatt
457d23c390 avoid leading colon for id
svn: r936
2005-09-29 15:49:27 +00:00
Matthew Flatt
2ff737514b removed stay character
svn: r935
2005-09-29 15:48:54 +00:00
Matthew Flatt
46e33e12d9 added xform.ss, will provide better interface later
svn: r934
2005-09-29 15:46:59 +00:00
Eli Barzilay
61b329aec1 Welcome to a new PLT day.
svn: r932
2005-09-29 08:20:02 +00:00
Carl Eastlund
fc45eb8125 Honu:
- top.ss
  - Added top:eval-after-program
    to evaluate a new syntax in the context of Honu definitions
  - Added previous contents of test.ss - testing is a top-level behavior
- test.ss
  - Removed top-level testing calls
  - Added bindings useful from testcase code
  - New purpose is to be auto-required from *-test.ss when *.honu is tested
- examples/point-test.ss
  - Removed now-redundant definitions
- examples/BoundedStack-test.ss
  - Wrote tests for BoundedStack, both of defined names and actual code results
- examples/BoundedStack.honu
  - Removed test results that are now in ...-test.ss

svn: r930
2005-09-29 00:18:44 +00:00
Robby Findler
2986059cf2 started to build an implementation of contexts as procedures that do the plugging, but ran into trouble with name patterns
svn: r929
2005-09-28 21:09:56 +00:00
Carl Eastlund
728f65e9af Honu:
- test.ss
  - Special case, short error messages if test files not found
- parsers/parse.ss
  - Removed make-struct-type-decls and make-struct-exports
    (at Stevie's instruction: functionality duplicated elsewhere)
- tenv.ss, ast.ss, compile.ss
  - linewrapped code and comments to 100 columns or less

svn: r928
2005-09-28 19:56:44 +00:00
Eli Barzilay
4b464d1f83 Welcome to a new PLT day.
svn: r927
2005-09-28 08:20:03 +00:00
Jay McCarthy
1fdc303bf3 Fix of call
svn: r926
2005-09-27 23:47:16 +00:00
Eli Barzilay
6efbcbbba3 fix self-referential cstructs
svn: r924
2005-09-27 09:20:21 +00:00
Eli Barzilay
30a1c9e69d Welcome to a new PLT day.
svn: r919
2005-09-27 08:20:03 +00:00
Matthew Flatt
0ae882672a enable smoothing for printing
svn: r918
2005-09-27 05:58:39 +00:00
Eli Barzilay
1726d11233 Welcome to a new PLT day.
svn: r917
2005-09-26 08:20:04 +00:00
Matthew Flatt
dc7ddab153 added --comment-on-slide
svn: r915
2005-09-25 19:29:04 +00:00
Matthew Flatt
8307ecdd8b added current-line-sep
svn: r914
2005-09-25 11:25:35 +00:00
Eli Barzilay
548a1740f0 Welcome to a new PLT day.
svn: r913
2005-09-25 08:20:03 +00:00
Jay McCarthy
ac19b12504 Adding per-servlet, not per-instance custodians.
svn: r912
2005-09-25 03:39:25 +00:00
Eli Barzilay
1690b23282 Welcome to a new PLT day.
svn: r910
2005-09-24 08:20:02 +00:00
Carl Eastlund
6b184c70de Honu:
- test.ss
  - added list of examples files to test
  - added test-file function to run file and related test cases
  - added run-tests to run automated honu tests
- examples/
  - added test case file for point.honu
- top.ss
  - imported util.ss
  - added run-programs
  - moved test-program to test.ss
- util.ss
  - removed unnecessary "ast.ss" import
  - added "contract.ss" import
  - changed names to prevent import name-clash
  - added definitions of define/p (provide) and define/c (provide/contract),
    plus define-struct versions
  - added map-values for mapping functions which return arbitrary numbers of values
- tenv.ss
  - added sqrt() function to Honu environment

svn: r909
2005-09-24 07:50:32 +00:00
Sam Tobin-Hochstadt
d96e47c4b7 plt-match.ss/match.ss:
- don't export match:test-no-order, which is only used in generated code

test-no-order.ss
- reformat code
- use ormap instead of let loop

render-test-list:
- add define/opt sugar
- remove a lot of pointless stx arguments
- remove a lot of [quasi]syntax/loc

gen-match:
- use internal define instead of let
- remove quasisyntax/loc
- reformat
- remove pointlessly optional argument

coupling-and-binding:
- reformat
- use memf instead of custom loops

svn: r908
2005-09-23 19:55:12 +00:00
Eli Barzilay
821aa78044 Welcome to a new PLT day.
svn: r907
2005-09-23 08:20:04 +00:00
Carl Eastlund
d023288e05 Honu, top.ss:
- Changed names:
  - no longer add honu: prefix to imports
  - now include top: prefix on exports
  - *-introduced-identifiers now *-names (produce symbols, not identifiers)
- Added tenv:entry-mangled-name
- Implemented run-test-class-from-name to print whether a class is/isn't test code

svn: r906
2005-09-23 01:47:34 +00:00
Carl Eastlund
fd91f3afdc Honu, top.ss:
- Removed unused contract.
- Added abstraction for setting current-compile-context.
- Changed names of some input variables.
- Added names of introduced definitions to output of run-program.
- Begain writing test-program (for running test cases).

svn: r905
2005-09-22 21:43:20 +00:00
Jay McCarthy
2cd6bab47d cancel-timer! was blocking in an exit-handler.
svn: r904
2005-09-22 18:19:38 +00:00
Eli Barzilay
38568086b4 Welcome to a new PLT day.
svn: r901
2005-09-22 08:20:04 +00:00
Carl Eastlund
097e65a084 Honu:
- added top.ss, containing mzscheme-accessible compilation commands.
- line-wrapped tool.ss to max width 100.

svn: r896
2005-09-21 15:47:48 +00:00
Eli Barzilay
e2c11d5476 Welcome to a new PLT day.
svn: r894
2005-09-21 08:20:02 +00:00
Eli Barzilay
a3fae4a355 oops, still using the same protocol
svn: r893
2005-09-21 04:41:51 +00:00
Eli Barzilay
b6e2853d2c better description
svn: r892
2005-09-21 04:36:55 +00:00
Eli Barzilay
9eace8d11d Use write+flush in client.ss,
remove bogus second write from tool.ss.

svn: r891
2005-09-21 03:18:33 +00:00
John Clements
db22c963c9 transferred updates from stepper-tests branch
svn: r888
2005-09-20 23:04:47 +00:00
John Clements
7b3cebd46a re-did changes, reverting to 762
svn: r887
2005-09-20 23:00:40 +00:00
Jay McCarthy
2bf93fa004 Performance and cancel-continuations!
svn: r886
2005-09-20 22:06:33 +00:00
Eli Barzilay
c6152b783b Welcome to a new PLT day.
svn: r885
2005-09-20 08:20:03 +00:00
Eli Barzilay
bb60675440 check that cleanup dir exists
svn: r884
2005-09-20 03:21:36 +00:00
Matthew Flatt
04bc38a3fd added code-pict subtype to better handle embeddings
svn: r883
2005-09-19 16:26:34 +00:00
Eli Barzilay
fe28e0b0ca Welcome to a new PLT day.
svn: r882
2005-09-19 08:20:03 +00:00
Matthew Flatt
a840944371 variant constructors bound to syntax
svn: r875
2005-09-18 13:54:22 +00:00
Matthew Flatt
dbd1261122 extra paging keybindings
svn: r874
2005-09-18 12:47:35 +00:00
Matthew Flatt
f957d1ffa9 afm top space uses Ascent instead of CapHeight
svn: r872
2005-09-18 12:32:51 +00:00
Matthew Flatt
43d2868700 thread-cell tests
svn: r870
2005-09-18 12:30:58 +00:00
Eli Barzilay
da08e1a5e2 Welcome to a new PLT day.
svn: r868
2005-09-18 08:20:01 +00:00
Matthew Flatt
f3c0de5891 fix syntax-error message
svn: r867
2005-09-18 00:52:24 +00:00
Eli Barzilay
0cedaf8217 Welcome to a new PLT day.
svn: r866
2005-09-17 08:20:02 +00:00
Matthew Flatt
3c487a849b better timeout error message, doc revisions
svn: r865
2005-09-16 19:48:58 +00:00
Eli Barzilay
e5b7f9123d Welcome to a new PLT day.
svn: r863
2005-09-16 08:20:04 +00:00
Jay McCarthy
490010bd3a Commiting new interface version, with new timeout semantics
svn: r862
2005-09-15 23:17:39 +00:00
Eli Barzilay
f28927d3b1 execute counts are destructively modified
svn: r861
2005-09-15 22:14:19 +00:00
Eli Barzilay
d7b59fdd60 Copy execution counts (and do it at the right place)
svn: r860
2005-09-15 22:08:10 +00:00
Jay McCarthy
442286672b Improving servlet extent error message
svn: r859
2005-09-15 22:00:13 +00:00
Matthew Flatt
8a35993125 use code inspector
svn: r858
2005-09-15 17:50:32 +00:00
Jay McCarthy
c73537ff13 Introducing error when send/suspend like operations used outside of servlet-instance
svn: r857
2005-09-15 17:01:04 +00:00
Jay McCarthy
edfd2a4dd3 Fixing timeouts and making send/finish expire the session
svn: r855
2005-09-15 11:18:39 +00:00
Eli Barzilay
98dd029e7d Welcome to a new PLT day.
svn: r854
2005-09-15 08:20:02 +00:00
Eli Barzilay
b28a6df99b * Added functionality for checking coverage information
* Submissions are opened with line counting

svn: r853
2005-09-14 18:23:05 +00:00
Eli Barzilay
02c6c62601 Welcome to a new PLT day.
svn: r852
2005-09-14 08:20:02 +00:00
Eli Barzilay
1b4a3c7286 Sort collections according to the last element in the path, so they
are orderered deterministically.  (Otherwise, order changes based on
where your home directory and your plt tree are.)

svn: r851
2005-09-13 18:35:07 +00:00
Greg Cooper
a69fc0380e - added contract library to non-beginner langs to reflect documentation
svn: r850
2005-09-13 15:53:11 +00:00