From bb33c5e89993338f6e554210e87b27a5220ead98 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Tue, 19 Jan 2016 18:46:39 -0800 Subject: 2573 - check product type of 'new' I realize that my current doesn't allow nesting a:b:c linear type syntax inside a dilated property. So you can't currently say: (recipe address:number) Need to fix that at some point. Non-trivial since linear syntax is oblivious to dilated syntax. I should probably make the dilated syntax more fundamental and introduce it at an earlier layer. --- chessboard.mu | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'chessboard.mu') diff --git a/chessboard.mu b/chessboard.mu index 3347e253..f1bd8853 100644 --- a/chessboard.mu +++ b/chessboard.mu @@ -116,7 +116,7 @@ recipe new-board initial-position:address:array:character -> board:address:array correct-length?:boolean <- equal len, 64 assert correct-length?, [chessboard had incorrect size] # board is an array of pointers to files; file is an array of characters - board <- new location:type, 8 + board <- new {(address array character): type}, 8 col:number <- copy 0 { done?:boolean <- equal col, 8 -- cgit 1.4.1-2-gfad0