Skip to content

Typecheck generated function - #458

Merged
CohenArthur merged 1 commit into
function-call-generics-passfrom
typecheck-generated-fn
Dec 28, 2021
Merged

Typecheck generated function#458
CohenArthur merged 1 commit into
function-call-generics-passfrom
typecheck-generated-fn

Conversation

@CohenArthur

Copy link
Copy Markdown
Member
  • generics: WIP allow calling and declaring generic functions
  • generics: Remove generate_new() trait function
  • generics: Add functional test directory
  • generics: Return CheckedType::Later in generic funcdec
  • ft: Add test for generic ducktyping
  • function_call: Typecheck generated function

@CohenArthur
CohenArthur changed the base branch from master to function-call-generics-pass December 28, 2021 15:59
@CohenArthur
CohenArthur force-pushed the typecheck-generated-fn branch from 34bcb79 to f9ce95c Compare December 28, 2021 16:23
@CohenArthur
CohenArthur merged commit 660c5a6 into function-call-generics-pass Dec 28, 2021
@CohenArthur
CohenArthur deleted the typecheck-generated-fn branch December 28, 2021 16:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant