fix: make array access index exp inference correct

madlib-lang · Mar 27, 2024 · c7b85b0 · c7b85b0
1 parent 62849ef
commit c7b85b0
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 5 deletions.
diff --git a/compiler/main/Infer/Exp.hs b/compiler/main/Infer/Exp.hs
@@ -602,11 +602,11 @@ inferArrayAccess :: Options -> Env -> Can.Exp -> Infer (Substitution, [Pred], Ty
 inferArrayAccess options env (Can.Canonical area (Can.ArrayAccess arr index)) = do
   tv <- newTVar Star
   (s1, ps1, t1, earr) <- infer options env arr
-  (_, ps2, t2, eindex) <- infer options env index
+  (s2, ps2, t2, eindex) <- infer options env index
   s3 <- contextualUnify env arr t1 (tArrayOf tv)
   s4 <- contextualUnify env index t2 tInteger
 
-  let s = s4 `compose` s3 `compose` s1
+  let s = s4 `compose` s3 `compose` s2 `compose` s1
   let t = apply s tv
   let ps = ps1 ++ ps2
 

diff --git a/madlib.cabal b/madlib.cabal
@@ -5,7 +5,7 @@ cabal-version: 2.0
 -- see: https://github.com/sol/hpack
 
 name:           madlib
-version:        0.23.0
+version:        0.23.1
 description:    Please see the README on GitHub at <https://github.com/madlib-lang/madlib#readme>
 homepage:       https://github.com/madlib-lang/madlib#readme
 bug-reports:    https://github.com/madlib-lang/madlib/issues

diff --git a/package.yaml b/package.yaml
@@ -1,5 +1,5 @@
 name:                madlib
-version:             0.23.0
+version:             0.23.1
 github:              "madlib-lang/madlib"
 license:             BSD3
 author:              "Arnaud Boeglin, Brekk Bockrath"

diff --git a/pkg/package.json b/pkg/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@madlib-lang/madlib",
-  "version": "0.23.0",
+  "version": "0.23.1",
   "main": "./src/run.js",
   "bin": {
     "madlib": "src/run.js"