tweag/nickel
1
1
Fork 0
mirror of https://github.com/tweag/nickel.git synced 2024-10-04 23:27:15 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #739 from tweag/typecheck/correct-tostr-type

Browse Source 
Correct the type of UnaryOp::ToStr
This commit is contained in:
Yann Hamdaoui 2022-06-20 16:55:36 +02:00 committed by GitHub
commit 162a5bd6e4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/typecheck/operation.rs
View File

@ -164,7 +164,7 @@ pub fn get_uop_type(
// Str -> Num
UnaryOp::StrLength() => (mk_typewrapper::str(), mk_typewrapper::num()),
// Dyn -> Str
UnaryOp::ToStr() => (mk_typewrapper::dynamic(), mk_typewrapper::num()),
UnaryOp::ToStr() => (mk_typewrapper::dynamic(), mk_typewrapper::str()),
// Str -> Num
UnaryOp::NumFromStr() => (mk_typewrapper::str(), mk_typewrapper::num()),
// Str -> < | Dyn>