Skip to content

Commit

Permalink
feat: improve autocompletion
Browse files Browse the repository at this point in the history
  • Loading branch information
@aboeglin
aboeglin committed Jun 15, 2024
1 parent a09d701 commit 5b02cf7
Show file tree
Hide file tree
Showing 5 changed files with 4,748 additions and 1,093 deletions.
120 changes: 109 additions & 11 deletions .snapshots/should_fail_for_abstractions_with_a_wrong_type_definition/golden
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,47 +9,145 @@
]
, aexps =
[ Typed
([] :=> TVar (TV (-1) Star))
([] :=>
TApp
(TApp
(TCon (TC "(->)" (Kfun Star (Kfun Star Star))) "prelude")
(TCon (TC "String" Star) "prelude"))
(TApp
(TApp
(TCon (TC "(->)" (Kfun Star (Kfun Star Star))) "prelude")
(TCon (TC "Integer" Star) "prelude"))
(TCon (TC "Boolean" Star) "prelude")))
(Area (Loc 0 1 1) (Loc 58 2 24))
(TypedExp
(Typed
([] :=> TVar (TV (-1) Star))
([] :=>
TApp
(TApp
(TCon (TC "(->)" (Kfun Star (Kfun Star Star))) "prelude")
(TCon (TC "String" Star) "prelude"))
(TApp
(TApp
(TCon (TC "(->)" (Kfun Star (Kfun Star Star))) "prelude")
(TCon (TC "Integer" Star) "prelude"))
(TCon (TC "Boolean" Star) "prelude")))
(Area (Loc 35 2 1) (Loc 58 2 24))
(Assignment
"fn"
(Typed
([] :=> TVar (TV (-1) Star))
([ IsIn
"Eq"
[ TCon (TC "String" Star) "prelude" ]
(Just (Area (Loc 53 2 19) (Loc 55 2 21)))
] :=>
TApp
(TApp
(TCon (TC "(->)" (Kfun Star (Kfun Star Star))) "prelude")
(TCon (TC "String" Star) "prelude"))
(TApp
(TApp
(TCon (TC "(->)" (Kfun Star (Kfun Star Star))) "prelude")
(TCon (TC "String" Star) "prelude"))
(TCon (TC "Boolean" Star) "prelude")))
(Area (Loc 40 2 6) (Loc 58 2 24))
(Abs
(Typed
([] :=> TVar (TV (-1) Star)) (Area (Loc 41 2 7) (Loc 42 2 8)) "a")
([ IsIn
"Eq"
[ TCon (TC "String" Star) "prelude" ]
(Just (Area (Loc 53 2 19) (Loc 55 2 21)))
] :=>
TCon (TC "String" Star) "prelude")
(Area (Loc 41 2 7) (Loc 42 2 8))
"a")
[ Typed
([] :=> TVar (TV (-1) Star))
([ IsIn
"Eq"
[ TCon (TC "String" Star) "prelude" ]
(Just (Area (Loc 53 2 19) (Loc 55 2 21)))
] :=>
TApp
(TApp
(TCon (TC "(->)" (Kfun Star (Kfun Star Star))) "prelude")
(TCon (TC "String" Star) "prelude"))
(TCon (TC "Boolean" Star) "prelude"))
(Area (Loc 40 2 6) (Loc 58 2 24))
(Abs
(Typed
([] :=> TVar (TV (-1) Star))
([ IsIn
"Eq"
[ TCon (TC "String" Star) "prelude" ]
(Just (Area (Loc 53 2 19) (Loc 55 2 21)))
] :=>
TCon (TC "String" Star) "prelude")
(Area (Loc 44 2 10) (Loc 45 2 11))
"b")
[ Typed
([] :=> TVar (TV (-1) Star))
([ IsIn
"Eq"
[ TCon (TC "String" Star) "prelude" ]
(Just (Area (Loc 53 2 19) (Loc 55 2 21)))
] :=>
TCon (TC "Boolean" Star) "prelude")
(Area (Loc 51 2 17) (Loc 57 2 23))
(App
(Typed
([] :=> TVar (TV (-1) Star))
([ IsIn
"Eq"
[ TCon (TC "String" Star) "prelude" ]
(Just (Area (Loc 53 2 19) (Loc 55 2 21)))
] :=>
TApp
(TApp
(TCon
(TC "(->)" (Kfun Star (Kfun Star Star)))
"prelude")
(TCon (TC "String" Star) "prelude"))
(TCon (TC "Boolean" Star) "prelude"))
(Area (Loc 51 2 17) (Loc 57 2 23))
(App
(Typed
([] :=> TVar (TV (-1) Star))
([ IsIn
"Eq"
[ TCon (TC "String" Star) "prelude" ]
Nothing
] :=>
TApp
(TApp
(TCon
(TC
"(->)" (Kfun Star (Kfun Star Star)))
"prelude")
(TCon (TC "String" Star) "prelude"))
(TApp
(TApp
(TCon
(TC
"(->)"
(Kfun Star (Kfun Star Star)))
"prelude")
(TCon (TC "String" Star) "prelude"))
(TCon (TC "Boolean" Star) "prelude")))
(Area (Loc 53 2 19) (Loc 55 2 21))
(Var "==" False))
(Typed
([] :=> TVar (TV (-1) Star))
([ IsIn
"Eq"
[ TCon (TC "String" Star) "prelude" ]
(Just (Area (Loc 53 2 19) (Loc 55 2 21)))
] :=>
TCon (TC "String" Star) "prelude")
(Area (Loc 51 2 17) (Loc 52 2 18))
(Var "a" False))
False))
(Typed
([] :=> TVar (TV (-1) Star))
([ IsIn
"Eq"
[ TCon (TC "String" Star) "prelude" ]
(Just (Area (Loc 53 2 19) (Loc 55 2 21)))
] :=>
TCon (TC "String" Star) "prelude")
(Area (Loc 56 2 22) (Loc 57 2 23))
(Var "b" False))
True)
Expand Down
Loading

0 comments on commit 5b02cf7

Please sign in to comment.