rename #2
Comments
|
Wow, yes. Perhaps some tests would be a good idea. :) |
|
Btw, @fryguybob congrats on making the first official bug report for this project! :) There might be a few other bugs with the new ABT-based representation of terms/types, as that was just switched over in the last couple weeks and I have not banged on it much. If you or anyone else is interested, writing some tests for the typechecker might be a fun (depending on your definition) way to get your feet wet with the codebase. :) |
aryairani
added a commit
that referenced
this issue
Feb 21, 2019
master> let Ref ##Sequence.at 0 [1, 2, 3] Pair _0 () typeDeps fromList [#"2tWj,#"3RmF] stack: [] ir: Let (Let (MakeSequence [1,2,3]) (Apply (Leaf (Lam 1 FormClosure Ref(##Sequence.at) (Leaf External:ExternalFunction))) [0,#0])) (Let (Leaf (Lam 2 FormClosure #"2tWj#0 (Construct #"2tWj 0 [#1,#0]))) (Let (Construct #"3RmF 0 []) (Apply (Leaf #1) [#2,#0]))) stack: [] ir: Let (MakeSequence [1,2,3]) (Apply (Leaf (Lam 1 FormClosure Ref(##Sequence.at) (Leaf External:ExternalFunction))) [0,#0]) stack: [] ir: MakeSequence [1,2,3] stack: [[1, 2, 3]] ir: Apply (Leaf (Lam 1 FormClosure Ref(##Sequence.at) (Leaf External:ExternalFunction))) [0,#0] stack: [[1, 2, 3]] ir: Leaf (Lam 1 FormClosure Ref(##Sequence.at) (Leaf External:ExternalFunction)) stack: [[1, 2, 3],0] ir: Leaf External:ExternalFunction unison: user error (type error)
Open
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
I was browsing the code and came across this line in
ABT.rename:Shouldn't the else case be
var v?The text was updated successfully, but these errors were encountered: