Skip to content
This repository has been archived by the owner on Dec 18, 2020. It is now read-only.

Constraint trace #16

Merged
merged 3 commits into from
Jan 20, 2020
Merged

Constraint trace #16

merged 3 commits into from
Jan 20, 2020

Conversation

Bastacyclop
Copy link
Member

Based on PR #15
Simplistic example with infer(l(1) + l(2f)):

rise.core.types.InferenceException was thrown.
inference exception: cannot unify int and f32
---- trace ----
(int -> int)  ~  (f32 -> _t3)
---------------

This helps for issue #14, although it is only a first step.

@Bastacyclop Bastacyclop requested review from a team and roger-uw January 16, 2020 15:36
@Bastacyclop Bastacyclop merged commit 031d399 into master Jan 20, 2020
@Bastacyclop Bastacyclop deleted the constraint-trace branch January 20, 2020 14:49
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@roger-uw roger-uw roger-uw approved these changes

@bastian-koepcke bastian-koepcke bastian-koepcke approved these changes

@michel-steuwer michel-steuwer michel-steuwer approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@Bastacyclop @michel-steuwer @bastian-koepcke @roger-uw