Skip to content

Import from another App #263

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
brprice wants to merge 12 commits into from
Closed

Import from another App #263

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
12 commits
Select commit Hold shift + click to select a range
580e1f6
fix: Prim type must be in scope to use a prim con
brprice Feb 18, 2022
6843e2b
fix: genPrimCon cares about which primitive types are in scope
brprice Feb 21, 2022
15a3001
feat: add tests that when synth we get a KType
brprice Feb 21, 2022
e5712f5
refactor: App module
brprice Feb 22, 2022
ae70998
feat: Support importing (i.e. copying the definiton) types
brprice Feb 15, 2022
14409e3
Add unit fields to IAC
brprice Feb 22, 2022
e763d46
Add some (ignored) terms to {primS,s}rcProg
brprice Feb 22, 2022
67c7641
feat: Support importing (i.e. copying the definiton) terms
brprice Feb 22, 2022
50adfaa
test that universe and transform are "deep"
brprice Feb 22, 2022
72c9294
fix: import: rename constructors in pattern matches
brprice Feb 22, 2022
2b982cd
fix: import: reordering case branches if necessary
brprice Feb 22, 2022
ab3ad49
fix: import: typecheck with smartholes off
brprice Feb 22, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 5 additions & 0 deletions primer/primer.cabal
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -19,13 +19,15 @@ library
Primer.Action.Priorities
Primer.API
Primer.App
Primer.App.Core
Primer.Core
Primer.Core.DSL
Primer.Core.Transform
Primer.Core.Utils
Primer.Database
Primer.Eval
Primer.EvalFull
Primer.Import
Primer.Name
Primer.Name.Fresh
Primer.Primitives
Expand All @@ -34,6 +36,7 @@ library
Primer.Subst
Primer.Typecheck
Primer.Unification
Primer.Utils
Primer.Zipper
Primer.ZipperCxt

Expand Down Expand Up @@ -104,6 +107,7 @@ test-suite primer-test
Tests.EvalFull
Tests.FreeVars
Tests.Gen.Core.Typed
Tests.Import
Tests.Primitives
Tests.Question
Tests.Refine
Expand All @@ -112,6 +116,7 @@ test-suite primer-test
Tests.Transform
Tests.Typecheck
Tests.Unification
Tests.Uniplate
Tests.Zipper
Tests.Zipper.BindersAbove
TestUtils
Expand Down
Loading