Don't generalize list literal types.

wordplaydev · Oct 25, 2023 · 6e9b980 · 6e9b980
1 parent cb1230e
commit 6e9b980
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 6 deletions.
diff --git a/src/nodes/Evaluate.test.ts b/src/nodes/Evaluate.test.ts
@@ -13,6 +13,7 @@ import UnexpectedTypeInput from '@conflicts/UnexpectedTypeInput';
 import type Node from './Node';
 import type Conflict from '../conflicts/Conflict';
 import evaluateCode from '../runtime/evaluate';
+import UnionType from './UnionType';
 
 test.each([
     [
@@ -143,7 +144,7 @@ test('Test generics', () => {
     // Infer the type from an input.
     testTypes('ƒ test⸨T⸩(a•T) a\ntest(1)', NumberType);
     // Infer from lists
-    testTypes('[ 1 2 3 ].random()', NumberType);
+    testTypes('[ 1 2 3 ].random()', UnionType);
     // Infer from sets
     testTypes('{ 1 2 3 }.remove(1)', SetType);
     // Infer from map higher order function

diff --git a/src/nodes/ListLiteral.ts b/src/nodes/ListLiteral.ts
@@ -103,10 +103,7 @@ export default class ListLiteral extends Expression {
 
     computeType(context: Context): Type {
         // Strip away any concrete types in the item types.
-        return ListType.make(
-            this.getItemType(context),
-            this.values.length
-        ).generalize(context);
+        return ListType.make(this.getItemType(context), this.values.length);
     }
 
     computeConflicts(): Conflict[] {

diff --git a/static/examples/Maze.wp b/static/examples/Maze.wp
@@ -3,7 +3,7 @@ Maze
 ``A maze is a 2D grid of emoji, with some functions for checking the state at particular grid postions.
 Mazes are generated randomly.``/en
 •Maze() (
-	grid: 
+	grid•[[''|ø]]: 
 		[
 			[ '🎬' '❤️' '❌'   ø    ø]
 			[ '❤️'   ø    ø    ø    ø]