Nim - This repository contains the Nim compiler, Nim's stdlib, tools, and documentation. (mirror)

	Commit message (Expand)	Author	Age	Files	Lines
...
*	Merge pull request #4113 from jcosborn/gettypeinst	Andreas Rumpf	2016-05-28	1	-1/+6
\|\
\| *	getTypeInst and getTypeImpl mostly working now and added test	James Osborn	2016-05-04	1	-1/+2
\| *	added getTypeInst which includes generic parameters	James Osborn	2016-05-04	1	-1/+5
* \|	fixes #3956	Andreas Rumpf	2016-05-11	1	-4/+5
\|/
*	fixes #3731	Andreas Rumpf	2016-04-04	1	-3/+11
*	fixes #3561, fixes #2409	Andreas Rumpf	2016-04-04	1	-3/+7
*	fixes #3804	Andreas Rumpf	2016-04-04	1	-0/+4
*	fixes #3973	Andreas Rumpf	2016-04-03	1	-1/+1
*	fixes #3916	Andreas Rumpf	2016-02-29	1	-4/+4
*	Fixed deprecation warnings while Nim compiles.	Hans Raaf	2016-01-18	1	-1/+1
*	first implementation of the new lambda-lifting pass; barely anything works	Andreas Rumpf	2015-12-26	1	-2/+2
*	os.walkDir is available at compile time	Araq	2015-11-10	1	-2/+4
*	fixes #3299	Araq	2015-10-15	1	-0/+22
*	fixes #2473; cleanup of some tests	Araq	2015-09-30	1	-6/+9
*	fixes #3387	Araq	2015-09-29	1	-1/+0
*	fixes #3357	Araq	2015-09-23	1	-2/+5
*	VM produces objects.	Yuriy Glukhov	2015-09-05	1	-2/+6
*	when nimvm stmt proof of concept	Yuriy Glukhov	2015-09-04	1	-1/+4
*	implemented macros.getImpl	Araq	2015-08-21	1	-0/+1
*	VM: repl supports global variables properly"	Araq	2015-08-16	1	-3/+3
*	Merge pull request #3177 from zah/generic-types-in-macros	Andreas Rumpf	2015-08-14	1	-2/+23
\|\
\| *	Disable the new generic params handling for immediate template and macros	Zahary Karadjov	2015-08-02	1	-1/+5
\| *	fix #1858 again; restores the support for static macro params	Zahary Karadjov	2015-08-02	1	-2/+19
* \|	fixes #3066	Araq	2015-08-09	1	-0/+3
* \|	fixes #1329	Araq	2015-08-09	1	-0/+2
\|/
*	emerald project has a chance of working	Araq	2015-08-02	1	-9/+18
*	staticExec now supports caching	Araq	2015-07-15	1	-1/+13
*	macros: Introduce sameType(a, b) for node types	Adam Strzelecki	2015-07-03	1	-0/+1
*	fixes #3041	Araq	2015-07-02	1	-20/+26
*	fixes #2297, fixes #2946	Araq	2015-06-18	1	-6/+1
*	Removed magics: mAbsI64	rku	2015-06-10	1	-1/+1
*	Removed magics: mBitnotI64	rku	2015-06-10	1	-1/+1
*	Removed magics: mEqI64 mLtI64 mLeI64	rku	2015-06-10	1	-3/+3
*	Removed magics: mShrI64, mShlI64, mBitandI64, mBitorI64, mBitxorI64	rku	2015-06-10	1	-5/+5
*	Removed magics: mAddI64, mSubI64, mMulI64, mDivI64, mModI64	rku	2015-06-10	1	-5/+5
*	marshalling can be done at compile-time	Araq	2015-04-25	1	-4/+42
*	added '..^' and '..<' operators; 'nil' is allowed for 'len'; added plugin sys...	Araq	2015-04-22	1	-2/+2
*	cleaned up some magics to make room for new magics; added '..<' and '..^' tem...	Araq	2015-04-22	1	-2/+2
*	VM: minor fixes to make lexim work	Araq	2015-04-20	1	-3/+4
*	Fixes #1986 when calling sameConstant on uint	Joseph Turner	2015-04-09	1	-1/+1
*	fixes another regression	Araq	2015-03-27	1	-1/+2
*	fixes #2346	Araq	2015-03-16	1	-44/+44
*	implements a type API for macros	Araq	2015-02-24	1	-1/+6
*	macros.PNimrodNode is now NimNode	Araq	2015-02-24	1	-1/+1
*	Fix typos	Federico Ceratto	2015-02-15	1	-1/+1
*	tables work in 'const' sections; echo supports 'nil' strings; minor cleanups	Araq	2015-02-09	1	-1/+2
*	Fixed high(cstring) in vmgen too	Simon Hafner	2015-02-01	1	-1/+2
*	Revert 5e4ae8d	Dustin Lacewell	2015-01-07	1	-20/+3
*	Happy new year!	Guillaume Gelin	2015-01-06	1	-1/+1
*	unstaged file	Zahary Karadjov	2015-01-05	1	-1/+1

(selective-load "mu.arc" section-level) (set allow-raw-addresses*) (add-code:readfile "chessboard.mu") (freeze function*) (load-system-functions) (reset2) (new-trace "read-move-legal") (run-code main (default-space:space-address <- new space:literal 30:literal/capacity) (stdin:channel-address <- init-channel 1:literal) (r:integer/routine <- fork read-move:fn nil:literal/globals 2000:literal/limit stdin:channel-address) (c:character <- copy ((#\a literal))) (x:tagged-value <- save-type c:character) (stdin:channel-address/deref <- write stdin:channel-address x:tagged-value) (c:character <- copy ((#\2 literal))) (x:tagged-value <- save-type c:character) (stdin:channel-address/deref <- write stdin:channel-address x:tagged-value) (c:character <- copy ((#\- literal))) (x:tagged-value <- save-type c:character) (stdin:channel-address/deref <- write stdin:channel-address x:tagged-value) (c:character <- copy ((#\a literal))) (x:tagged-value <- save-type c:character) (stdin:channel-address/deref <- write stdin:channel-address x:tagged-value) (c:character <- copy ((#\4 literal))) (x:tagged-value <- save-type c:character) (stdin:channel-address/deref <- write stdin:channel-address x:tagged-value) (c:character <- copy ((#\newline literal))) (x:tagged-value <- save-type c:character) (stdin:channel-address/deref <- write stdin:channel-address x:tagged-value) (sleep until-routine-done:literal r:integer/routine) ) (each routine completed-routines* ;? (prn " " routine) (awhen rep.routine!error (prn "error - " it))) (when (~ran-to-completion 'read-move) (prn "F - chessboard accepts legal moves (<rank><file>-<rank><file>)")) ; todo: we can't test that keys pressed are printed to screen ; but that's at a lower level ;? (quit) (reset2) (new-trace "read-move-incomplete") ; initialize some variables at specific raw locations ;? (prn "== init") (run-code test-init (1:channel-address/raw <- init-channel 1:literal) (2:terminal-address/raw <- init-fake-terminal 20:literal 10:literal) (3:string-address/raw <- get 2:terminal-address/raw/deref data:offset)) (wipe completed-routines*) ; the component under test; we'll be running this repeatedly (let read-move-routine (make-routine 'read-move memory*.1 memory*.2) ;? (prn "== first key") (run-code send-first-key (default-space:space-address <- new space:literal 30:literal/capacity) (c:character <- copy ((#\a literal))) (x:tagged-value <- save-type c:character) (1:channel-address/raw/deref <- write 1:channel-address/raw x:tagged-value)) (wipe completed-routines*) ; check that read-move consumes it and then goes to sleep (enq read-move-routine running-routines*) (run-more) (when (ran-to-completion 'read-move) (prn "F - chessboard waits after first letter of move")) (wipe completed-routines*) ; send in a few more letters ;? (prn "== more keys") (restart read-move-routine) (run-code send-more-keys (default-space:space-address <- new space:literal 30:literal/capacity) (c:character <- copy ((#\2 literal))) (x:tagged-value <- save-type c:character) (1:channel-address/raw/deref <- write 1:channel-address/raw x:tagged-value) (c:character <- copy ((#\- literal))) (x:tagged-value <- save-type c:character) (1:channel-address/raw/deref <- write 1:channel-address/raw x:tagged-value) (c:character <- copy ((#\a literal))) (x:tagged-value <- save-type c:character) (1:channel-address/raw/deref <- write 1:channel-address/raw x:tagged-value) (c:character <- copy ((#\4 literal))) (x:tagged-value <- save-type c:character) (1:channel-address/raw/deref <- write 1:channel-address/raw x:tagged-value)) ; check that read-move consumes them and then goes to sleep (when (ran-to-completion 'read-move) (prn "F - chessboard waits after each subsequent letter of move until the last")) (wipe completed-routines*) ; send final key ;? (prn "== final key") (restart read-move-routine) ;? (set dump-trace*) (run-code send-final-key (default-space:space-address <- new space:literal 30:literal/capacity) (c:character <- copy ((#\newline literal))) (x:tagged-value <- save-type c:character) (1:channel-address/raw/deref <- write 1:channel-address/raw x:tagged-value)) ; check that read-move consumes it and -- this time -- returns (when (~ran-to-completion 'read-move) (prn "F - 'read-move' completes after final letter of move")) ) (reset2) (new-trace "read-move-quit") (run-code main (default-space:space-address <- new space:literal 30:literal/capacity) (stdin:channel-address <- init-channel 1:literal) (dummy:terminal-address <- init-fake-terminal 20:literal 10:literal) (r:integer/routine <- fork-helper read-move:fn nil:literal/globals 2000:literal/limit stdin:channel-address dummy:terminal-address) (c:character <- copy ((#\q literal))) (x:tagged-value <- save-type c:character) (stdin:channel-address/deref <- write stdin:channel-address x:tagged-value) (sleep until-routine-done:literal r:integer/routine) ) (when (~ran-to-completion 'read-move) (prn "F - chessboard quits on move starting with 'q'")) (reset2) (new-trace "read-illegal-file") (run-code main (default-space:space-address <- new space:literal 30:literal/capacity) (stdin:channel-address <- init-channel 1:literal) (dummy:terminal-address <- init-fake-terminal 20:literal 10:literal) (r:integer/routine <- fork-helper read-file:fn nil:literal/globals 2000:literal/limit stdin:channel-address dummy:terminal-address) (c:character <- copy ((#\i literal))) (x:tagged-value <- save-type c:character) (stdin:channel-address/deref <- write stdin:channel-address x:tagged-value) (sleep until-routine-done:literal r:integer/routine) ) ;? (each routine completed-routines* ;? (prn " " routine)) (when (or (ran-to-completion 'read-file) (let routine routine-running!read-file (~posmatch "file too high" rep.routine!error))) (prn "F - 'read-file' checks that file lies between 'a' and 'h'")) (reset2) (new-trace "read-illegal-rank") (run-code main (default-space:space-address <- new space:literal 30:literal/capacity) (stdin:channel-address <- init-channel 1:literal) (dummy:terminal-address <- init-fake-terminal 20:literal 10:literal) (r:integer/routine <- fork-helper read-rank:fn nil:literal/globals 2000:literal/limit stdin:channel-address dummy:terminal-address) (c:character <- copy ((#\9 literal))) (x:tagged-value <- save-type c:character) (stdin:channel-address/deref <- write stdin:channel-address x:tagged-value) (sleep until-routine-done:literal r:integer/routine) ) (when (or (ran-to-completion 'read-rank) (let routine routine-running!read-rank (~posmatch "rank too high" rep.routine!error))) (prn "F - 'read-rank' checks that rank lies between '1' and '8'")) (reset2) (new-trace "print-board") (run-code main (default-space:space-address <- new space:literal 30:literal/capacity) (initial-position:list-address <- init-list ((#\R literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\r literal)) ((#\N literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\n literal)) ((#\B literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\b literal)) ((#\Q literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\q literal)) ((#\K literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\k literal)) ((#\B literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\b literal)) ((#\N literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\n literal)) ((#\R literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\r literal))) (b:board-address <- init-board initial-position:list-address) (screen:terminal-address <- init-fake-terminal 20:literal 10:literal) (print-board screen:terminal-address b:board-address) (1:string-address/raw <- get screen:terminal-address/deref data:offset) ) (each routine completed-routines* (awhen rep.routine!error (prn "error - " it))) ;? (prn memory*.1) (when (~screen-contains memory*.1 20 (+ "8 | r n b q k b n r " "7 | p p p p p p p p " "6 | _ _ _ _ _ _ _ _ " "5 | _ _ _ _ _ _ _ _ " "4 | _ _ _ _ _ _ _ _ " "3 | _ _ _ _ _ _ _ _ " "2 | P P P P P P P P " "1 | R N B Q K B N R " " +---------------- " " a b c d e f g h ")) (prn "F - print-board works; chessboard begins at @memory*.1")) ; todo: how to fold this more elegantly with the previous test? (reset2) (new-trace "make-move") (run-code main (default-space:space-address <- new space:literal 30:literal/capacity) ; hook up stdin (stdin:channel-address <- init-channel 1:literal) ; fake screen (screen:terminal-address <- init-fake-terminal 20:literal 10:literal) ; initial position (initial-position:list-address <- init-list ((#\R literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\r literal)) ((#\N literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\n literal)) ((#\B literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\b literal)) ((#\Q literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\q literal)) ((#\K literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\k literal)) ((#\B literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\b literal)) ((#\N literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\n literal)) ((#\R literal)) ((#\P literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\_ literal)) ((#\p literal)) ((#\r literal))) (b:board-address <- init-board initial-position:list-address) ; move: a2-a4 (m:move-address <- new move:literal) (f:integer-integer-pair-address <- get-address m:move-address/deref from:offset) (dest:integer-address <- get-address f:integer-integer-pair-address/deref 0:offset) (dest:integer-address/deref <- copy 0:literal) ; from-file: a (dest:integer-address <- get-address f:integer-integer-pair-address/deref 1:offset) (dest:integer-address/deref <- copy 1:literal) ; from-rank: 2 (t0:integer-integer-pair-address <- get-address m:move-address/deref to:offset) (dest:integer-address <- get-address t0:integer-integer-pair-address/deref 0:offset) (dest:integer-address/deref <- copy 0:literal) ; to-file: a (dest:integer-address <- get-address t0:integer-integer-pair-address/deref 1:offset) (dest:integer-address/deref <- copy 3:literal) ; to-rank: 4 (b:board-address <- make-move b:board-address m:move-address) (print-board screen:terminal-address b:board-address) (1:string-address/raw <- get screen:terminal-address/deref data:offset) ) (each routine completed-routines* (awhen rep.routine!error (prn "error - " it))) ;? (prn memory*.1) (when (~screen-contains memory*.1 20 (+ "8 | r n b q k b n r " "7 | p p p p p p p p " "6 | _ _ _ _ _ _ _ _ " "5 | _ _ _ _ _ _ _ _ " "4 | P _ _ _ _ _ _ _ " "3 | _ _ _ _ _ _ _ _ " "2 | _ P P P P P P P " "1 | R N B Q K B N R " " +---------------- " " a b c d e f g h ")) (prn "F - make-move works; chessboard begins at @memory*.1")) (reset2)