├── .gitattributes ├── .github └── workflows │ └── tests.yml ├── .gitignore ├── .run ├── IDEA with plugin.run.xml └── Test.run.xml ├── LICENSE ├── README.md ├── assets ├── gifs │ ├── AddImportQuickfix.gif │ ├── DocumentationViewer.gif │ ├── LineMarkerAnnotation.gif │ ├── LineMarkerToFromInstance.gif │ ├── NavigationFromJava.gif │ ├── NavigationImports.gif │ ├── NavigationToJava.gif │ ├── Renaming.gif │ ├── ReplExecution.gif │ ├── ReplIntegration.gif │ └── RunFrege.gif └── images │ ├── CodeCompletion1.png │ ├── CodeCompletion2.png │ ├── FindUsages.png │ ├── Navigation1.png │ ├── Navigation2.png │ └── Navigation3.png ├── gradle.properties ├── gradle └── wrapper │ ├── gradle-wrapper.jar │ └── gradle-wrapper.properties ├── gradlew ├── gradlew.bat ├── settings.gradle.kts └── src ├── main ├── java │ └── com │ │ └── plugin │ │ └── frege │ │ ├── Frege.bnf │ │ ├── FregeFileType.java │ │ ├── FregeIcons.java │ │ ├── FregeLanguage.java │ │ ├── actions │ │ └── FregeCreateFileAction.java │ │ ├── gradle │ │ ├── GradleFregeException.java │ │ ├── GradleFregeForm.form │ │ ├── GradleFregeForm.java │ │ ├── GradleFregeFrameworkSupportProvider.java │ │ └── GradleFregePropertiesUtils.java │ │ ├── highlighter │ │ ├── FregeColorSettingsPage.java │ │ ├── FregeSyntaxHighlighter.java │ │ └── FregeSyntaxHighlighterFactory.java │ │ ├── lexer │ │ ├── FregeLexer.flex │ │ ├── FregeLexerAdapter.java │ │ └── layout │ │ │ ├── FregeLayoutLexer.java │ │ │ ├── FregeLayoutLexerAdapter.java │ │ │ ├── FregeLayoutLexerBlock.java │ │ │ ├── FregeLayoutLexerBlocksBuilder.java │ │ │ ├── FregeLayoutLexerBlocksProvider.java │ │ │ ├── FregeLayoutLexerException.java │ │ │ ├── FregeLayoutLexerStack.java │ │ │ └── FregeLayoutLexerToken.java │ │ ├── linemarker │ │ ├── FregeRunAction.java │ │ └── FregeRunLineMarkerContributor.java │ │ ├── parser │ │ ├── FregeParserDefinition.java │ │ └── FregeParserUtil.java │ │ ├── psi │ │ ├── FregeCompositeElement.java │ │ ├── FregeElementType.java │ │ ├── FregeNamedElement.java │ │ ├── FregePsiClass.java │ │ ├── FregePsiMethod.java │ │ ├── FregeScopeElement.java │ │ ├── FregeSubprogramsHolder.java │ │ ├── FregeTokenType.java │ │ ├── impl │ │ │ ├── FregeCompositeElementImpl.java │ │ │ └── FregeNamedElementImpl.java │ │ └── mixin │ │ │ ├── FregeConidUsageMixin.java │ │ │ ├── FregeNativeNameMixin.java │ │ │ └── FregeParamMixin.java │ │ └── repl │ │ ├── FregeReplActionPromoter.kt │ │ ├── FregeReplConfigurationEditor.form │ │ ├── FregeReplConfigurationEditor.java │ │ ├── FregeReplExecuteAction.java │ │ ├── FregeReplProcessHandler.java │ │ ├── FregeReplReader.java │ │ ├── FregeReplRunConfiguration.java │ │ ├── FregeReplRunConfigurationFactory.java │ │ ├── FregeReplRunConfigurationType.java │ │ ├── FregeReplRunInConsole.java │ │ ├── FregeReplRunInConsoleAction.java │ │ ├── FregeReplRunInConsoleIntention.java │ │ ├── FregeReplSettings.java │ │ ├── FregeReplState.java │ │ ├── FregeReplView.java │ │ └── FregeReplViewMap.java ├── kotlin │ └── com │ │ └── plugin │ │ └── frege │ │ ├── annotator │ │ ├── FregeAnnotator.kt │ │ └── FregeWarningAnnotator.kt │ │ ├── completion │ │ ├── FregeAbstractContext.kt │ │ ├── FregeCompletionUtil.kt │ │ ├── FregeKeywordCompletionContributor.kt │ │ ├── FregeKeywordCompletionProvider.kt │ │ ├── FregeKeywords.kt │ │ ├── FregePatternedContext.kt │ │ └── FregePatterns.kt │ │ ├── documentation │ │ ├── DocBuilder.kt │ │ ├── FregeDocUtil.kt │ │ └── FregeDocumentationProvider.kt │ │ ├── editor │ │ ├── FregeBraceMatcher.kt │ │ ├── FregeCommenter.kt │ │ └── FregeSpellcheckingStrategy.kt │ │ ├── findusages │ │ └── FregeFindUsagesProvider.kt │ │ ├── inspections │ │ ├── FregeAddImportQuickFix.kt │ │ ├── FregeLocalInspection.kt │ │ └── FregeUnresolvedReferenceInspection.kt │ │ ├── intentions │ │ └── FregePackageToModuleIntentionAction.kt │ │ ├── linemarker │ │ └── related │ │ │ ├── FregeClassAnnotationToInstanceLineMarker.kt │ │ │ ├── FregeClassBindingToInstanceLineMarker.kt │ │ │ ├── FregeFunctionBindingToAnnotationLineMarker.kt │ │ │ ├── FregeInstanceMethodToClassLineMarker.kt │ │ │ ├── FregeNativeFunctionToDelegatedMemberLineMarker.kt │ │ │ ├── FregeRelatedItemLineMarkerAbstract.kt │ │ │ └── FregeRelatedItemLineMarkerProvider.kt │ │ ├── psi │ │ ├── FregeDocumentableElement.kt │ │ ├── FregeDocumentationElement.kt │ │ ├── FregeElementFactory.kt │ │ ├── FregeElementTypeFactory.kt │ │ ├── FregeFile.kt │ │ ├── FregeParametersHolder.kt │ │ ├── FregePsiElementFinder.kt │ │ ├── FregeResolvableElement.kt │ │ ├── FregeTypeParametersHolder.kt │ │ ├── FregeWeakScopeElement.kt │ │ ├── impl │ │ │ ├── FregeNamedStubBasedPsiElementBase.kt │ │ │ ├── FregePsiClassImpl.kt │ │ │ ├── FregePsiMethodImpl.kt │ │ │ └── LightFregePsiClassBase.kt │ │ ├── mixin │ │ │ ├── FregeAccessModifierMixin.kt │ │ │ ├── FregeAnnotationItemMixin.kt │ │ │ ├── FregeAnnotationMixin.kt │ │ │ ├── FregeAnnotationNameMixin.kt │ │ │ ├── FregeBindingMixin.kt │ │ │ ├── FregeBodyMixin.kt │ │ │ ├── FregeClassDeclMixin.kt │ │ │ ├── FregeConstructMixin.kt │ │ │ ├── FregeDataDeclMixin.kt │ │ │ ├── FregeDeriveDeclMixin.kt │ │ │ ├── FregeDocumentationMixin.kt │ │ │ ├── FregeFunctionNameMixin.kt │ │ │ ├── FregeInstanceDeclMixin.kt │ │ │ ├── FregeLabelMixin.kt │ │ │ ├── FregeLabelNameMixin.kt │ │ │ ├── FregeNativeDataDeclMixin.kt │ │ │ ├── FregeNativeFunctionMixin.kt │ │ │ ├── FregeNativeFunctionNameMixin.kt │ │ │ ├── FregeNewtypeDeclMixin.kt │ │ │ ├── FregeProgramMixin.kt │ │ │ ├── FregeSymbolOperatorMixin.kt │ │ │ ├── FregeTypeDeclMixin.kt │ │ │ ├── FregeTypeParameterMixin.kt │ │ │ ├── FregeTypedVaridMixin.kt │ │ │ ├── FregeVaridUsageMixin.kt │ │ │ ├── FregeWordOperatorMixin.kt │ │ │ ├── imports │ │ │ │ ├── FregeConidUsageImportMixin.kt │ │ │ │ ├── FregeImportDeclAliasMixin.kt │ │ │ │ ├── FregeImportPackageClassNameMixin.kt │ │ │ │ ├── FregePackageTokenMixin.kt │ │ │ │ ├── FregeSymbolOperatorImportMixin.kt │ │ │ │ └── FregeVaridUsageImportMixin.kt │ │ │ └── indentsection │ │ │ │ ├── FregeCaseDeclMixin.kt │ │ │ │ ├── FregeDoDeclMixin.kt │ │ │ │ ├── FregeLetInExpressionMixin.kt │ │ │ │ ├── FregeLinearIndentSectionMixin.kt │ │ │ │ └── FregeNestedIndentSectionItemsMixin.kt │ │ └── util │ │ │ ├── FregeName.kt │ │ │ └── FregePsiUtil.kt │ │ ├── refactor │ │ ├── FregeRefactoringSupportProvider.kt │ │ └── FregeRenameInputValidator.kt │ │ ├── resolve │ │ ├── FregeConidUsageReference.kt │ │ ├── FregeImportResolveUtil.kt │ │ ├── FregeNamedElementReference.kt │ │ ├── FregeNativeNameReference.kt │ │ ├── FregeOperatorReferenceBase.kt │ │ ├── FregeReferenceBase.kt │ │ ├── FregeResolveUtil.kt │ │ └── FregeVaridUsageReference.kt │ │ └── stubs │ │ ├── FregeAccessModifierStub.kt │ │ ├── FregeClassStub.kt │ │ ├── FregeFileStub.kt │ │ ├── FregeMethodStub.kt │ │ ├── FregeNamedStub.kt │ │ ├── FregeProgramStub.kt │ │ ├── index │ │ ├── FregeClassNameIndex.kt │ │ ├── FregeMethodNameIndex.kt │ │ ├── FregeNameIndex.kt │ │ └── FregeShortClassNameIndex.kt │ │ └── types │ │ ├── FregeAccessModifierElementType.kt │ │ ├── FregeAnnotationItemElementType.kt │ │ ├── FregeBindingElementType.kt │ │ ├── FregeClassDeclElementType.kt │ │ ├── FregeClassElementType.kt │ │ ├── FregeClassElementTypeAbstract.kt │ │ ├── FregeConstructElementType.kt │ │ ├── FregeDataDeclElementType.kt │ │ ├── FregeFileElementType.kt │ │ ├── FregeInstanceDeclElementType.kt │ │ ├── FregeLabelElementType.kt │ │ ├── FregeMethodElementType.kt │ │ ├── FregeNamedStubElementType.kt │ │ ├── FregeNativeDataDeclElementType.kt │ │ ├── FregeNativeFunctionElementType.kt │ │ ├── FregeNewtypeDeclElementType.kt │ │ ├── FregeProgramElementType.kt │ │ ├── FregeStubElementType.kt │ │ └── FregeTypeDeclElementType.kt └── resources │ ├── META-INF │ ├── plugin.xml │ └── pluginIcon.svg │ ├── colorScheme │ ├── Darcula_Frege.xml │ └── Default_Frege.xml │ ├── fileTemplates │ └── internal │ │ ├── Frege Empty File.fr.ft │ │ └── Frege Module.fr.ft │ ├── icons │ ├── FregeAnnotationMarker.svg │ ├── FregeJavaMarker.svg │ └── FregeLogo.png │ ├── inspectionDescriptions │ └── FregeUnresolvedReference.html │ ├── intentionDescriptions │ └── FregeReplRunInConsoleIntention │ │ └── description.html │ ├── liveTemplates │ └── Frege.xml │ └── templates │ └── gradle │ ├── disclaimer.gradle │ ├── full │ └── build.gradle │ ├── minimal │ └── build.gradle │ └── tasks │ ├── fregeCompile.gradle │ ├── fregeInit.gradle │ ├── fregeRun.gradle │ └── prepareCompileDirs.gradle └── test ├── java └── com │ └── plugin │ └── frege │ └── parser │ ├── FregeFailParsingInvalidProgramsTest.java │ ├── FregeParseProgramsWithSamplePsi.java │ ├── FregeParsingTestAbstract.java │ ├── FregeSuccessfulParsingFregeExamplesTest.java │ └── FregeSuccessfulParsingValidProgramsTest.java ├── kotlin └── com │ └── plugin │ └── frege │ ├── FregeCodeInsightTest.kt │ ├── refactor │ └── FregeRenameTest.kt │ └── resolve │ └── FregeResolveTest.kt └── testData ├── fregeExamples ├── Brainfuck.fr ├── CombinatorEvolution.fr ├── CommandLineClock.fr ├── Concurrent.fr ├── DamenF.fr ├── DigitSum.fr ├── Distance.fr ├── Diverge.fr ├── Euler.fr ├── Euler12.fr ├── Euler7.fr ├── Euler87.fr ├── Euler92.fr ├── Euler93.fr ├── Euler94.fr ├── Euler95.fr ├── EulerLib.fr ├── Evolution.fr ├── FBodies.fr ├── ForH.fr ├── Fpidigits.fr ├── FunctionInstances.fr ├── GoldenRatio.fr ├── Grep.fr ├── HigherOrder.fr ├── JHashMap.java ├── JSONExample.fr ├── LBodies.fr ├── MapTest.fr ├── MoreTailCall.fr ├── NumericLiterals.fr ├── PointFree.fr ├── Postfix.fr ├── Records.fr ├── RefExample.fr ├── ReverseStdin.fr ├── STM.fr ├── SimpleIO.fr ├── Sort.fr ├── Sudoku.fr ├── SwingExamples.fr ├── TailCalls.fr ├── UnicodeChars.fr ├── Welcome.fr ├── YearNumbers.fr ├── euler-sudoku.txt └── top95.txt ├── parsing ├── invalidPrograms │ ├── NewtypeTwoConstructors.fr │ ├── PrimaryManyVaridInit.fr │ └── PrimaryQuestionMarkInGetFields.fr ├── programsWithSamplePsi │ ├── QLexOperatorIsNotPrimary.fr │ ├── QLexOperatorIsNotPrimary.txt │ ├── QualifiedConstructorIsNotComposition.fr │ └── QualifiedConstructorIsNotComposition.txt └── validPrograms │ ├── CaseEx.fr │ ├── ClassDcl.fr │ ├── DataDcl.fr │ ├── DataRecord.fr │ ├── DoExpression.fr │ ├── Documentation.fr │ ├── Dots.fr │ ├── ExtraSemicolons.fr │ ├── Imports.fr │ ├── InstanceDcl.fr │ ├── LayoutRule.fr │ ├── List.fr │ ├── Minus.fr │ ├── NativeFunction.fr │ ├── NestedComments.fr │ ├── NestedDocs.fr │ ├── Newtype.fr │ ├── Patterns.fr │ ├── Primary.fr │ ├── SimpleProgram.fr │ ├── Types.fr │ └── VaridConidQuotes.fr ├── rename ├── binding │ ├── fromQuotes │ │ ├── QuotesAfter.fr │ │ └── QuotesBefore.fr │ ├── functionName │ │ ├── BindingAfter.fr │ │ └── BindingBefore.fr │ ├── operator │ │ ├── OperatorAfter.fr │ │ └── OperatorBefore.fr │ ├── quotes │ │ ├── QuotesAfter.fr │ │ └── QuotesBefore.fr │ └── wordOperator │ │ ├── WordOperatorAfter.fr │ │ └── WordOperatorBefore.fr ├── data │ ├── constructor │ └── name │ │ ├── DataAfter.fr │ │ └── DataBefore.fr ├── file │ ├── file │ │ ├── First.fr │ │ ├── FirstAfter.fr │ │ ├── Second.fr │ │ └── SecondAfter.fr │ └── module │ │ ├── FirstAfter.fr │ │ └── FirstBefore.fr ├── imports │ └── importAlias │ │ ├── AliasAfter.fr │ │ └── AliasBefore.fr ├── label │ ├── LabelAfter.fr │ └── LabelBefore.fr ├── program │ ├── ProgramAfter.fr │ └── ProgramBefore.fr └── typeParameter │ ├── annotation │ ├── AnnotationAfter.fr │ └── AnnotationBefore.fr │ ├── class │ ├── ClassAfter.fr │ └── ClassBefore.fr │ └── data │ ├── DataAfter.fr │ └── DataBefore.fr └── resolve ├── betweenFiles ├── accessModifiers │ ├── private │ │ ├── noBinding │ │ │ ├── First.fr │ │ │ └── Second.fr │ │ ├── noBinding2 │ │ │ ├── First.fr │ │ │ └── Second.fr │ │ ├── noData │ │ │ ├── First.fr │ │ │ └── Second.fr │ │ └── noData2 │ │ │ ├── First.fr │ │ │ └── Second.fr │ ├── protected │ │ ├── binding │ │ │ ├── First.fr │ │ │ └── Second.fr │ │ ├── data │ │ │ ├── First.fr │ │ │ └── Second.fr │ │ ├── noBinding │ │ │ ├── First.fr │ │ │ └── Second.fr │ │ ├── noConstructor │ │ │ ├── First.fr │ │ │ └── Second.fr │ │ └── noData │ │ │ ├── First.fr │ │ │ └── Second.fr │ └── public │ │ ├── binding │ │ ├── First.fr │ │ └── Second.fr │ │ └── data │ │ ├── First.fr │ │ └── Second.fr ├── binding │ ├── First.fr │ └── Second.fr ├── bindingMultipleDefinitions │ ├── First.fr │ └── Second.fr ├── class │ ├── fromInstance │ │ ├── ClassDeclaration.fr │ │ └── ClassUsage.fr │ └── notQualified │ │ ├── ClassDeclaration.fr │ │ └── Usage.fr ├── data │ ├── noReference │ │ ├── Declaration.fr │ │ └── Usage.fr │ ├── toConstructor │ │ ├── DataDeclaration.fr │ │ └── DataUsage.fr │ └── toDeclaration │ │ ├── Declaration.fr │ │ └── Usage.fr ├── imports │ ├── alias │ │ ├── importAliasBinding │ │ │ ├── Mine.fr │ │ │ └── Other.fr │ │ ├── importAliasClass │ │ │ ├── Jury.fr │ │ │ ├── Kirill.fr │ │ │ └── Petya.fr │ │ ├── noImportAliasBinding │ │ │ ├── Mine.fr │ │ │ └── Other.fr │ │ ├── noImportAliasClass │ │ │ ├── First.fr │ │ │ ├── Second.fr │ │ │ └── Third.fr │ │ └── toImportAlias │ │ │ ├── Alias.fr │ │ │ └── Other.fr │ ├── hiding │ │ └── hidingClass │ │ │ └── Usage.fr │ ├── list │ │ ├── noBinding │ │ │ ├── Lover.fr │ │ │ └── Usage.fr │ │ ├── noClass │ │ │ ├── Another.fr │ │ │ ├── Other.fr │ │ │ └── Usage.fr │ │ ├── noOperator │ │ │ ├── First.fr │ │ │ └── Second.fr │ │ ├── toBinding │ │ │ ├── Lover.fr │ │ │ └── Usage.fr │ │ ├── toClass │ │ │ ├── Other.fr │ │ │ └── Usage.fr │ │ └── toOperator │ │ │ ├── First.fr │ │ │ └── Second.fr │ ├── module │ │ └── withImportList │ │ │ ├── First.fr │ │ │ └── Second.fr │ ├── public │ │ ├── notPublicBinding │ │ │ ├── First.fr │ │ │ ├── Second.fr │ │ │ └── Usage.fr │ │ ├── notPublicClassImport │ │ │ ├── First.fr │ │ │ ├── Second.fr │ │ │ └── Third.fr │ │ ├── notPublicSequence │ │ │ ├── First.fr │ │ │ ├── Fourth.fr │ │ │ ├── Second.fr │ │ │ └── Third.fr │ │ ├── publicBinding │ │ │ ├── First.fr │ │ │ ├── Second.fr │ │ │ └── Usage.fr │ │ ├── publicClassImport │ │ │ ├── First.fr │ │ │ ├── Second.fr │ │ │ └── Third.fr │ │ ├── publicClassImport2 │ │ │ ├── First.fr │ │ │ ├── Second.fr │ │ │ └── Third.fr │ │ ├── publicNoItems │ │ │ ├── Hello.fr │ │ │ └── World.fr │ │ └── publicSequence │ │ │ ├── First.fr │ │ │ ├── Fourth.fr │ │ │ ├── Second.fr │ │ │ └── Third.fr │ └── toClass │ │ ├── Clazz.fr │ │ └── Usage.fr ├── nativeName │ ├── ToClassString │ │ ├── Petya.java │ │ └── Usage.fr │ ├── ToClassStringMix │ │ ├── BelovedPetya.java │ │ └── FromKirill.fr │ └── ToClassWithoutString │ │ ├── Clazz.java │ │ └── NativeName.fr ├── operators │ ├── dotOperator │ │ ├── First.fr │ │ └── Second.fr │ ├── operatorWithDots │ │ ├── First.fr │ │ └── Second.fr │ └── wordOperator │ │ ├── First.fr │ │ └── Second.fr └── qualifiedBinding │ ├── First.fr │ └── Second.fr ├── bindings ├── FromAnnotation.fr ├── FromOtherBinding.fr ├── FromUsage.fr ├── MultipleAnnotations.fr ├── MultipleDefinitions1.fr ├── MultipleDefinitions2.fr └── NoBinding.fr ├── caseof ├── FromCaseExpr.fr ├── FromDeclToParam.fr ├── FromRightToLeft.fr ├── WhereUnderBindingAbove.fr └── WhereUnderDecl.fr ├── classes ├── FromFunctionUsage.fr ├── FromInstance.fr └── WithConstraints.fr ├── data ├── FromConstructorUsage.fr └── FromTypeUsage.fr ├── do ├── LetWithBraces.fr ├── MultipleLet.fr ├── MultipleParam.fr ├── MultipleParam2.fr ├── ToLetSemicolon.fr ├── ToLetVirtual.fr ├── ToParamSemicolon.fr └── ToParamVirtual.fr ├── fromJava ├── ToBinding │ ├── Binding.fr │ └── BindingUsage.java └── ToModule │ ├── JavaClass.java │ └── MainModule.fr ├── instance ├── ToBaseMethod.fr └── ToInstancedMethod.fr ├── labels └── Label.fr ├── let ├── LetIn.fr ├── LetInBraces.fr ├── LetUseNextVariable.fr └── LetUsePreviousVariable.fr ├── nativeData ├── FromType.fr ├── NoMethod.fr └── ToMethod.fr ├── newtype ├── NoBinding.fr ├── ToBinding.fr ├── ToConstructor.fr └── ToDeclaration.fr ├── operators ├── AnnotationInClass.fr ├── FromInfix.fr ├── FromUsage.fr ├── NoOperator.fr ├── PrefixNotation.fr ├── SingleCharOperator.fr ├── dots │ ├── ToBinding.fr │ └── ToClassAnnotation.fr └── word │ ├── FromAnnotation.fr │ ├── FromRegularBinding.fr │ ├── FromRegularBindingInDeclaration.fr │ ├── FromUsage.fr │ └── FromUsageToRegularBinding.fr ├── parameters ├── Guard.fr ├── Lambda.fr ├── LambdaInDo.fr ├── LastSymbol.fr ├── NoParameter.fr └── Parameters.fr ├── program ├── NoInnerData.fr ├── ToInnerData.fr └── ToProgram.fr ├── type ├── ToDeclaration.fr └── ToOriginConstructor.fr ├── typeParameters ├── Annotation.fr ├── Class.fr ├── Label.fr ├── NativeData.fr ├── Newtype.fr └── Type.fr └── where ├── BindingAbove.fr ├── BindingBelow.fr ├── NearestBinding.fr ├── NearestParameter.fr ├── NoAvailableBinding.fr ├── NoBindingBelow.fr └── ParameterAbove.fr /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/.gitattributes -------------------------------------------------------------------------------- /.github/workflows/tests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/.github/workflows/tests.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/.gitignore -------------------------------------------------------------------------------- /.run/IDEA with plugin.run.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/.run/IDEA with plugin.run.xml -------------------------------------------------------------------------------- /.run/Test.run.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/.run/Test.run.xml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/README.md -------------------------------------------------------------------------------- /assets/gifs/AddImportQuickfix.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/assets/gifs/AddImportQuickfix.gif -------------------------------------------------------------------------------- /assets/gifs/DocumentationViewer.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/assets/gifs/DocumentationViewer.gif -------------------------------------------------------------------------------- /assets/gifs/LineMarkerAnnotation.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/assets/gifs/LineMarkerAnnotation.gif -------------------------------------------------------------------------------- /assets/gifs/LineMarkerToFromInstance.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/assets/gifs/LineMarkerToFromInstance.gif -------------------------------------------------------------------------------- /assets/gifs/NavigationFromJava.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/assets/gifs/NavigationFromJava.gif -------------------------------------------------------------------------------- /assets/gifs/NavigationImports.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/assets/gifs/NavigationImports.gif -------------------------------------------------------------------------------- /assets/gifs/NavigationToJava.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/assets/gifs/NavigationToJava.gif -------------------------------------------------------------------------------- /assets/gifs/Renaming.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/assets/gifs/Renaming.gif -------------------------------------------------------------------------------- /assets/gifs/ReplExecution.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/assets/gifs/ReplExecution.gif -------------------------------------------------------------------------------- /assets/gifs/ReplIntegration.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/assets/gifs/ReplIntegration.gif -------------------------------------------------------------------------------- /assets/gifs/RunFrege.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/assets/gifs/RunFrege.gif -------------------------------------------------------------------------------- /assets/images/CodeCompletion1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/assets/images/CodeCompletion1.png -------------------------------------------------------------------------------- /assets/images/CodeCompletion2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/assets/images/CodeCompletion2.png -------------------------------------------------------------------------------- /assets/images/FindUsages.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/assets/images/FindUsages.png -------------------------------------------------------------------------------- /assets/images/Navigation1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/assets/images/Navigation1.png -------------------------------------------------------------------------------- /assets/images/Navigation2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/assets/images/Navigation2.png -------------------------------------------------------------------------------- /assets/images/Navigation3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/assets/images/Navigation3.png -------------------------------------------------------------------------------- /gradle.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/gradle.properties -------------------------------------------------------------------------------- /gradle/wrapper/gradle-wrapper.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/gradle/wrapper/gradle-wrapper.jar -------------------------------------------------------------------------------- /gradle/wrapper/gradle-wrapper.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/gradle/wrapper/gradle-wrapper.properties -------------------------------------------------------------------------------- /gradlew: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/gradlew -------------------------------------------------------------------------------- /gradlew.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/gradlew.bat -------------------------------------------------------------------------------- /settings.gradle.kts: -------------------------------------------------------------------------------- 1 | 2 | rootProject.name = "intellij-frege" 3 | -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/Frege.bnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/Frege.bnf -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/FregeFileType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/FregeFileType.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/FregeIcons.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/FregeIcons.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/FregeLanguage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/FregeLanguage.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/actions/FregeCreateFileAction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/actions/FregeCreateFileAction.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/gradle/GradleFregeException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/gradle/GradleFregeException.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/gradle/GradleFregeForm.form: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/gradle/GradleFregeForm.form -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/gradle/GradleFregeForm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/gradle/GradleFregeForm.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/gradle/GradleFregeFrameworkSupportProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/gradle/GradleFregeFrameworkSupportProvider.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/gradle/GradleFregePropertiesUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/gradle/GradleFregePropertiesUtils.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/highlighter/FregeColorSettingsPage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/highlighter/FregeColorSettingsPage.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/highlighter/FregeSyntaxHighlighter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/highlighter/FregeSyntaxHighlighter.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/highlighter/FregeSyntaxHighlighterFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/highlighter/FregeSyntaxHighlighterFactory.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/lexer/FregeLexer.flex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/lexer/FregeLexer.flex -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/lexer/FregeLexerAdapter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/lexer/FregeLexerAdapter.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/lexer/layout/FregeLayoutLexer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/lexer/layout/FregeLayoutLexer.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/lexer/layout/FregeLayoutLexerAdapter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/lexer/layout/FregeLayoutLexerAdapter.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/lexer/layout/FregeLayoutLexerBlock.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/lexer/layout/FregeLayoutLexerBlock.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/lexer/layout/FregeLayoutLexerBlocksBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/lexer/layout/FregeLayoutLexerBlocksBuilder.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/lexer/layout/FregeLayoutLexerBlocksProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/lexer/layout/FregeLayoutLexerBlocksProvider.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/lexer/layout/FregeLayoutLexerException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/lexer/layout/FregeLayoutLexerException.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/lexer/layout/FregeLayoutLexerStack.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/lexer/layout/FregeLayoutLexerStack.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/lexer/layout/FregeLayoutLexerToken.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/lexer/layout/FregeLayoutLexerToken.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/linemarker/FregeRunAction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/linemarker/FregeRunAction.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/linemarker/FregeRunLineMarkerContributor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/linemarker/FregeRunLineMarkerContributor.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/parser/FregeParserDefinition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/parser/FregeParserDefinition.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/parser/FregeParserUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/parser/FregeParserUtil.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/psi/FregeCompositeElement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/psi/FregeCompositeElement.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/psi/FregeElementType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/psi/FregeElementType.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/psi/FregeNamedElement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/psi/FregeNamedElement.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/psi/FregePsiClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/psi/FregePsiClass.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/psi/FregePsiMethod.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/psi/FregePsiMethod.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/psi/FregeScopeElement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/psi/FregeScopeElement.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/psi/FregeSubprogramsHolder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/psi/FregeSubprogramsHolder.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/psi/FregeTokenType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/psi/FregeTokenType.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/psi/impl/FregeCompositeElementImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/psi/impl/FregeCompositeElementImpl.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/psi/impl/FregeNamedElementImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/psi/impl/FregeNamedElementImpl.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/psi/mixin/FregeConidUsageMixin.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/psi/mixin/FregeConidUsageMixin.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/psi/mixin/FregeNativeNameMixin.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/psi/mixin/FregeNativeNameMixin.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/psi/mixin/FregeParamMixin.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/psi/mixin/FregeParamMixin.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/repl/FregeReplActionPromoter.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/repl/FregeReplActionPromoter.kt -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/repl/FregeReplConfigurationEditor.form: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/repl/FregeReplConfigurationEditor.form -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/repl/FregeReplConfigurationEditor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/repl/FregeReplConfigurationEditor.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/repl/FregeReplExecuteAction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/repl/FregeReplExecuteAction.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/repl/FregeReplProcessHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/repl/FregeReplProcessHandler.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/repl/FregeReplReader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/repl/FregeReplReader.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/repl/FregeReplRunConfiguration.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/repl/FregeReplRunConfiguration.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/repl/FregeReplRunConfigurationFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/repl/FregeReplRunConfigurationFactory.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/repl/FregeReplRunConfigurationType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/repl/FregeReplRunConfigurationType.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/repl/FregeReplRunInConsole.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/repl/FregeReplRunInConsole.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/repl/FregeReplRunInConsoleAction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/repl/FregeReplRunInConsoleAction.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/repl/FregeReplRunInConsoleIntention.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/repl/FregeReplRunInConsoleIntention.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/repl/FregeReplSettings.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/repl/FregeReplSettings.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/repl/FregeReplState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/repl/FregeReplState.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/repl/FregeReplView.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/repl/FregeReplView.java -------------------------------------------------------------------------------- /src/main/java/com/plugin/frege/repl/FregeReplViewMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/java/com/plugin/frege/repl/FregeReplViewMap.java -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/annotator/FregeAnnotator.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/annotator/FregeAnnotator.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/annotator/FregeWarningAnnotator.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/annotator/FregeWarningAnnotator.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/completion/FregeAbstractContext.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/completion/FregeAbstractContext.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/completion/FregeCompletionUtil.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/completion/FregeCompletionUtil.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/completion/FregeKeywordCompletionContributor.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/completion/FregeKeywordCompletionContributor.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/completion/FregeKeywordCompletionProvider.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/completion/FregeKeywordCompletionProvider.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/completion/FregeKeywords.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/completion/FregeKeywords.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/completion/FregePatternedContext.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/completion/FregePatternedContext.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/completion/FregePatterns.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/completion/FregePatterns.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/documentation/DocBuilder.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/documentation/DocBuilder.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/documentation/FregeDocUtil.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/documentation/FregeDocUtil.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/documentation/FregeDocumentationProvider.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/documentation/FregeDocumentationProvider.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/editor/FregeBraceMatcher.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/editor/FregeBraceMatcher.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/editor/FregeCommenter.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/editor/FregeCommenter.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/editor/FregeSpellcheckingStrategy.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/editor/FregeSpellcheckingStrategy.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/findusages/FregeFindUsagesProvider.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/findusages/FregeFindUsagesProvider.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/inspections/FregeAddImportQuickFix.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/inspections/FregeAddImportQuickFix.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/inspections/FregeLocalInspection.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/inspections/FregeLocalInspection.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/inspections/FregeUnresolvedReferenceInspection.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/inspections/FregeUnresolvedReferenceInspection.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/intentions/FregePackageToModuleIntentionAction.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/intentions/FregePackageToModuleIntentionAction.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/linemarker/related/FregeClassAnnotationToInstanceLineMarker.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/linemarker/related/FregeClassAnnotationToInstanceLineMarker.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/linemarker/related/FregeClassBindingToInstanceLineMarker.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/linemarker/related/FregeClassBindingToInstanceLineMarker.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/linemarker/related/FregeFunctionBindingToAnnotationLineMarker.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/linemarker/related/FregeFunctionBindingToAnnotationLineMarker.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/linemarker/related/FregeInstanceMethodToClassLineMarker.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/linemarker/related/FregeInstanceMethodToClassLineMarker.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/linemarker/related/FregeNativeFunctionToDelegatedMemberLineMarker.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/linemarker/related/FregeNativeFunctionToDelegatedMemberLineMarker.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/linemarker/related/FregeRelatedItemLineMarkerAbstract.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/linemarker/related/FregeRelatedItemLineMarkerAbstract.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/linemarker/related/FregeRelatedItemLineMarkerProvider.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/linemarker/related/FregeRelatedItemLineMarkerProvider.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/FregeDocumentableElement.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/FregeDocumentableElement.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/FregeDocumentationElement.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/FregeDocumentationElement.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/FregeElementFactory.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/FregeElementFactory.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/FregeElementTypeFactory.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/FregeElementTypeFactory.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/FregeFile.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/FregeFile.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/FregeParametersHolder.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/FregeParametersHolder.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/FregePsiElementFinder.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/FregePsiElementFinder.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/FregeResolvableElement.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/FregeResolvableElement.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/FregeTypeParametersHolder.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/FregeTypeParametersHolder.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/FregeWeakScopeElement.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/FregeWeakScopeElement.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/impl/FregeNamedStubBasedPsiElementBase.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/impl/FregeNamedStubBasedPsiElementBase.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/impl/FregePsiClassImpl.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/impl/FregePsiClassImpl.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/impl/FregePsiMethodImpl.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/impl/FregePsiMethodImpl.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/impl/LightFregePsiClassBase.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/impl/LightFregePsiClassBase.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/mixin/FregeAccessModifierMixin.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/mixin/FregeAccessModifierMixin.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/mixin/FregeAnnotationItemMixin.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/mixin/FregeAnnotationItemMixin.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/mixin/FregeAnnotationMixin.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/mixin/FregeAnnotationMixin.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/mixin/FregeAnnotationNameMixin.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/mixin/FregeAnnotationNameMixin.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/mixin/FregeBindingMixin.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/mixin/FregeBindingMixin.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/mixin/FregeBodyMixin.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/mixin/FregeBodyMixin.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/mixin/FregeClassDeclMixin.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/mixin/FregeClassDeclMixin.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/mixin/FregeConstructMixin.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/mixin/FregeConstructMixin.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/mixin/FregeDataDeclMixin.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/mixin/FregeDataDeclMixin.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/mixin/FregeDeriveDeclMixin.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/mixin/FregeDeriveDeclMixin.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/mixin/FregeDocumentationMixin.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/mixin/FregeDocumentationMixin.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/mixin/FregeFunctionNameMixin.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/mixin/FregeFunctionNameMixin.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/mixin/FregeInstanceDeclMixin.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/mixin/FregeInstanceDeclMixin.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/mixin/FregeLabelMixin.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/mixin/FregeLabelMixin.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/mixin/FregeLabelNameMixin.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/mixin/FregeLabelNameMixin.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/mixin/FregeNativeDataDeclMixin.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/mixin/FregeNativeDataDeclMixin.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/mixin/FregeNativeFunctionMixin.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/mixin/FregeNativeFunctionMixin.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/mixin/FregeNativeFunctionNameMixin.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/mixin/FregeNativeFunctionNameMixin.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/mixin/FregeNewtypeDeclMixin.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/mixin/FregeNewtypeDeclMixin.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/mixin/FregeProgramMixin.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/mixin/FregeProgramMixin.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/mixin/FregeSymbolOperatorMixin.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/mixin/FregeSymbolOperatorMixin.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/mixin/FregeTypeDeclMixin.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/mixin/FregeTypeDeclMixin.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/mixin/FregeTypeParameterMixin.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/mixin/FregeTypeParameterMixin.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/mixin/FregeTypedVaridMixin.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/mixin/FregeTypedVaridMixin.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/mixin/FregeVaridUsageMixin.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/mixin/FregeVaridUsageMixin.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/mixin/FregeWordOperatorMixin.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/mixin/FregeWordOperatorMixin.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/mixin/imports/FregeConidUsageImportMixin.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/mixin/imports/FregeConidUsageImportMixin.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/mixin/imports/FregeImportDeclAliasMixin.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/mixin/imports/FregeImportDeclAliasMixin.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/mixin/imports/FregeImportPackageClassNameMixin.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/mixin/imports/FregeImportPackageClassNameMixin.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/mixin/imports/FregePackageTokenMixin.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/mixin/imports/FregePackageTokenMixin.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/mixin/imports/FregeSymbolOperatorImportMixin.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/mixin/imports/FregeSymbolOperatorImportMixin.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/mixin/imports/FregeVaridUsageImportMixin.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/mixin/imports/FregeVaridUsageImportMixin.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/mixin/indentsection/FregeCaseDeclMixin.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/mixin/indentsection/FregeCaseDeclMixin.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/mixin/indentsection/FregeDoDeclMixin.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/mixin/indentsection/FregeDoDeclMixin.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/mixin/indentsection/FregeLetInExpressionMixin.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/mixin/indentsection/FregeLetInExpressionMixin.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/mixin/indentsection/FregeLinearIndentSectionMixin.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/mixin/indentsection/FregeLinearIndentSectionMixin.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/mixin/indentsection/FregeNestedIndentSectionItemsMixin.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/mixin/indentsection/FregeNestedIndentSectionItemsMixin.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/util/FregeName.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/util/FregeName.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/psi/util/FregePsiUtil.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/psi/util/FregePsiUtil.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/refactor/FregeRefactoringSupportProvider.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/refactor/FregeRefactoringSupportProvider.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/refactor/FregeRenameInputValidator.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/refactor/FregeRenameInputValidator.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/resolve/FregeConidUsageReference.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/resolve/FregeConidUsageReference.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/resolve/FregeImportResolveUtil.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/resolve/FregeImportResolveUtil.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/resolve/FregeNamedElementReference.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/resolve/FregeNamedElementReference.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/resolve/FregeNativeNameReference.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/resolve/FregeNativeNameReference.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/resolve/FregeOperatorReferenceBase.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/resolve/FregeOperatorReferenceBase.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/resolve/FregeReferenceBase.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/resolve/FregeReferenceBase.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/resolve/FregeResolveUtil.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/resolve/FregeResolveUtil.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/resolve/FregeVaridUsageReference.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/resolve/FregeVaridUsageReference.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/stubs/FregeAccessModifierStub.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/stubs/FregeAccessModifierStub.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/stubs/FregeClassStub.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/stubs/FregeClassStub.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/stubs/FregeFileStub.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/stubs/FregeFileStub.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/stubs/FregeMethodStub.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/stubs/FregeMethodStub.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/stubs/FregeNamedStub.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/stubs/FregeNamedStub.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/stubs/FregeProgramStub.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/stubs/FregeProgramStub.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/stubs/index/FregeClassNameIndex.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/stubs/index/FregeClassNameIndex.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/stubs/index/FregeMethodNameIndex.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/stubs/index/FregeMethodNameIndex.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/stubs/index/FregeNameIndex.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/stubs/index/FregeNameIndex.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/stubs/index/FregeShortClassNameIndex.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/stubs/index/FregeShortClassNameIndex.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/stubs/types/FregeAccessModifierElementType.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/stubs/types/FregeAccessModifierElementType.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/stubs/types/FregeAnnotationItemElementType.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/stubs/types/FregeAnnotationItemElementType.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/stubs/types/FregeBindingElementType.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/stubs/types/FregeBindingElementType.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/stubs/types/FregeClassDeclElementType.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/stubs/types/FregeClassDeclElementType.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/stubs/types/FregeClassElementType.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/stubs/types/FregeClassElementType.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/stubs/types/FregeClassElementTypeAbstract.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/stubs/types/FregeClassElementTypeAbstract.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/stubs/types/FregeConstructElementType.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/stubs/types/FregeConstructElementType.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/stubs/types/FregeDataDeclElementType.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/stubs/types/FregeDataDeclElementType.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/stubs/types/FregeFileElementType.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/stubs/types/FregeFileElementType.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/stubs/types/FregeInstanceDeclElementType.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/stubs/types/FregeInstanceDeclElementType.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/stubs/types/FregeLabelElementType.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/stubs/types/FregeLabelElementType.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/stubs/types/FregeMethodElementType.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/stubs/types/FregeMethodElementType.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/stubs/types/FregeNamedStubElementType.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/stubs/types/FregeNamedStubElementType.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/stubs/types/FregeNativeDataDeclElementType.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/stubs/types/FregeNativeDataDeclElementType.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/stubs/types/FregeNativeFunctionElementType.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/stubs/types/FregeNativeFunctionElementType.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/stubs/types/FregeNewtypeDeclElementType.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/stubs/types/FregeNewtypeDeclElementType.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/stubs/types/FregeProgramElementType.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/stubs/types/FregeProgramElementType.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/stubs/types/FregeStubElementType.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/stubs/types/FregeStubElementType.kt -------------------------------------------------------------------------------- /src/main/kotlin/com/plugin/frege/stubs/types/FregeTypeDeclElementType.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/kotlin/com/plugin/frege/stubs/types/FregeTypeDeclElementType.kt -------------------------------------------------------------------------------- /src/main/resources/META-INF/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/resources/META-INF/plugin.xml -------------------------------------------------------------------------------- /src/main/resources/META-INF/pluginIcon.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/resources/META-INF/pluginIcon.svg -------------------------------------------------------------------------------- /src/main/resources/colorScheme/Darcula_Frege.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/resources/colorScheme/Darcula_Frege.xml -------------------------------------------------------------------------------- /src/main/resources/colorScheme/Default_Frege.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/resources/colorScheme/Default_Frege.xml -------------------------------------------------------------------------------- /src/main/resources/fileTemplates/internal/Frege Empty File.fr.ft: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/main/resources/fileTemplates/internal/Frege Module.fr.ft: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/resources/fileTemplates/internal/Frege Module.fr.ft -------------------------------------------------------------------------------- /src/main/resources/icons/FregeAnnotationMarker.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/resources/icons/FregeAnnotationMarker.svg -------------------------------------------------------------------------------- /src/main/resources/icons/FregeJavaMarker.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/resources/icons/FregeJavaMarker.svg -------------------------------------------------------------------------------- /src/main/resources/icons/FregeLogo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/resources/icons/FregeLogo.png -------------------------------------------------------------------------------- /src/main/resources/inspectionDescriptions/FregeUnresolvedReference.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/resources/inspectionDescriptions/FregeUnresolvedReference.html -------------------------------------------------------------------------------- /src/main/resources/intentionDescriptions/FregeReplRunInConsoleIntention/description.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/resources/intentionDescriptions/FregeReplRunInConsoleIntention/description.html -------------------------------------------------------------------------------- /src/main/resources/liveTemplates/Frege.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/resources/liveTemplates/Frege.xml -------------------------------------------------------------------------------- /src/main/resources/templates/gradle/disclaimer.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/resources/templates/gradle/disclaimer.gradle -------------------------------------------------------------------------------- /src/main/resources/templates/gradle/full/build.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/resources/templates/gradle/full/build.gradle -------------------------------------------------------------------------------- /src/main/resources/templates/gradle/minimal/build.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/resources/templates/gradle/minimal/build.gradle -------------------------------------------------------------------------------- /src/main/resources/templates/gradle/tasks/fregeCompile.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/resources/templates/gradle/tasks/fregeCompile.gradle -------------------------------------------------------------------------------- /src/main/resources/templates/gradle/tasks/fregeInit.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/resources/templates/gradle/tasks/fregeInit.gradle -------------------------------------------------------------------------------- /src/main/resources/templates/gradle/tasks/fregeRun.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/resources/templates/gradle/tasks/fregeRun.gradle -------------------------------------------------------------------------------- /src/main/resources/templates/gradle/tasks/prepareCompileDirs.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/main/resources/templates/gradle/tasks/prepareCompileDirs.gradle -------------------------------------------------------------------------------- /src/test/java/com/plugin/frege/parser/FregeFailParsingInvalidProgramsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/java/com/plugin/frege/parser/FregeFailParsingInvalidProgramsTest.java -------------------------------------------------------------------------------- /src/test/java/com/plugin/frege/parser/FregeParseProgramsWithSamplePsi.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/java/com/plugin/frege/parser/FregeParseProgramsWithSamplePsi.java -------------------------------------------------------------------------------- /src/test/java/com/plugin/frege/parser/FregeParsingTestAbstract.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/java/com/plugin/frege/parser/FregeParsingTestAbstract.java -------------------------------------------------------------------------------- /src/test/java/com/plugin/frege/parser/FregeSuccessfulParsingFregeExamplesTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/java/com/plugin/frege/parser/FregeSuccessfulParsingFregeExamplesTest.java -------------------------------------------------------------------------------- /src/test/java/com/plugin/frege/parser/FregeSuccessfulParsingValidProgramsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/java/com/plugin/frege/parser/FregeSuccessfulParsingValidProgramsTest.java -------------------------------------------------------------------------------- /src/test/kotlin/com/plugin/frege/FregeCodeInsightTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/kotlin/com/plugin/frege/FregeCodeInsightTest.kt -------------------------------------------------------------------------------- /src/test/kotlin/com/plugin/frege/refactor/FregeRenameTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/kotlin/com/plugin/frege/refactor/FregeRenameTest.kt -------------------------------------------------------------------------------- /src/test/kotlin/com/plugin/frege/resolve/FregeResolveTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/kotlin/com/plugin/frege/resolve/FregeResolveTest.kt -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/Brainfuck.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/Brainfuck.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/CombinatorEvolution.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/CombinatorEvolution.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/CommandLineClock.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/CommandLineClock.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/Concurrent.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/Concurrent.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/DamenF.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/DamenF.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/DigitSum.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/DigitSum.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/Distance.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/Distance.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/Diverge.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/Diverge.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/Euler.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/Euler.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/Euler12.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/Euler12.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/Euler7.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/Euler7.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/Euler87.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/Euler87.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/Euler92.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/Euler92.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/Euler93.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/Euler93.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/Euler94.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/Euler94.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/Euler95.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/Euler95.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/EulerLib.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/EulerLib.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/Evolution.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/Evolution.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/FBodies.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/FBodies.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/ForH.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/ForH.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/Fpidigits.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/Fpidigits.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/FunctionInstances.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/FunctionInstances.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/GoldenRatio.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/GoldenRatio.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/Grep.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/Grep.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/HigherOrder.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/HigherOrder.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/JHashMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/JHashMap.java -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/JSONExample.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/JSONExample.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/LBodies.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/LBodies.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/MapTest.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/MapTest.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/MoreTailCall.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/MoreTailCall.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/NumericLiterals.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/NumericLiterals.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/PointFree.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/PointFree.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/Postfix.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/Postfix.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/Records.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/Records.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/RefExample.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/RefExample.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/ReverseStdin.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/ReverseStdin.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/STM.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/STM.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/SimpleIO.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/SimpleIO.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/Sort.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/Sort.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/Sudoku.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/Sudoku.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/SwingExamples.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/SwingExamples.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/TailCalls.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/TailCalls.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/UnicodeChars.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/UnicodeChars.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/Welcome.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/Welcome.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/YearNumbers.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/YearNumbers.fr -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/euler-sudoku.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/euler-sudoku.txt -------------------------------------------------------------------------------- /src/test/testData/fregeExamples/top95.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/fregeExamples/top95.txt -------------------------------------------------------------------------------- /src/test/testData/parsing/invalidPrograms/NewtypeTwoConstructors.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/parsing/invalidPrograms/NewtypeTwoConstructors.fr -------------------------------------------------------------------------------- /src/test/testData/parsing/invalidPrograms/PrimaryManyVaridInit.fr: -------------------------------------------------------------------------------- 1 | f = Point {x=, y=1} -------------------------------------------------------------------------------- /src/test/testData/parsing/invalidPrograms/PrimaryQuestionMarkInGetFields.fr: -------------------------------------------------------------------------------- 1 | f = Point {x?, y=1} -------------------------------------------------------------------------------- /src/test/testData/parsing/programsWithSamplePsi/QLexOperatorIsNotPrimary.fr: -------------------------------------------------------------------------------- 1 | f = (A.+*+) -------------------------------------------------------------------------------- /src/test/testData/parsing/programsWithSamplePsi/QLexOperatorIsNotPrimary.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/parsing/programsWithSamplePsi/QLexOperatorIsNotPrimary.txt -------------------------------------------------------------------------------- /src/test/testData/parsing/programsWithSamplePsi/QualifiedConstructorIsNotComposition.fr: -------------------------------------------------------------------------------- 1 | f Qualifier.A = 1 -------------------------------------------------------------------------------- /src/test/testData/parsing/programsWithSamplePsi/QualifiedConstructorIsNotComposition.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/parsing/programsWithSamplePsi/QualifiedConstructorIsNotComposition.txt -------------------------------------------------------------------------------- /src/test/testData/parsing/validPrograms/CaseEx.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/parsing/validPrograms/CaseEx.fr -------------------------------------------------------------------------------- /src/test/testData/parsing/validPrograms/ClassDcl.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/parsing/validPrograms/ClassDcl.fr -------------------------------------------------------------------------------- /src/test/testData/parsing/validPrograms/DataDcl.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/parsing/validPrograms/DataDcl.fr -------------------------------------------------------------------------------- /src/test/testData/parsing/validPrograms/DataRecord.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/parsing/validPrograms/DataRecord.fr -------------------------------------------------------------------------------- /src/test/testData/parsing/validPrograms/DoExpression.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/parsing/validPrograms/DoExpression.fr -------------------------------------------------------------------------------- /src/test/testData/parsing/validPrograms/Documentation.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/parsing/validPrograms/Documentation.fr -------------------------------------------------------------------------------- /src/test/testData/parsing/validPrograms/Dots.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/parsing/validPrograms/Dots.fr -------------------------------------------------------------------------------- /src/test/testData/parsing/validPrograms/ExtraSemicolons.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/parsing/validPrograms/ExtraSemicolons.fr -------------------------------------------------------------------------------- /src/test/testData/parsing/validPrograms/Imports.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/parsing/validPrograms/Imports.fr -------------------------------------------------------------------------------- /src/test/testData/parsing/validPrograms/InstanceDcl.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/parsing/validPrograms/InstanceDcl.fr -------------------------------------------------------------------------------- /src/test/testData/parsing/validPrograms/LayoutRule.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/parsing/validPrograms/LayoutRule.fr -------------------------------------------------------------------------------- /src/test/testData/parsing/validPrograms/List.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/parsing/validPrograms/List.fr -------------------------------------------------------------------------------- /src/test/testData/parsing/validPrograms/Minus.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/parsing/validPrograms/Minus.fr -------------------------------------------------------------------------------- /src/test/testData/parsing/validPrograms/NativeFunction.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/parsing/validPrograms/NativeFunction.fr -------------------------------------------------------------------------------- /src/test/testData/parsing/validPrograms/NestedComments.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/parsing/validPrograms/NestedComments.fr -------------------------------------------------------------------------------- /src/test/testData/parsing/validPrograms/NestedDocs.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/parsing/validPrograms/NestedDocs.fr -------------------------------------------------------------------------------- /src/test/testData/parsing/validPrograms/Newtype.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/parsing/validPrograms/Newtype.fr -------------------------------------------------------------------------------- /src/test/testData/parsing/validPrograms/Patterns.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/parsing/validPrograms/Patterns.fr -------------------------------------------------------------------------------- /src/test/testData/parsing/validPrograms/Primary.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/parsing/validPrograms/Primary.fr -------------------------------------------------------------------------------- /src/test/testData/parsing/validPrograms/SimpleProgram.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/parsing/validPrograms/SimpleProgram.fr -------------------------------------------------------------------------------- /src/test/testData/parsing/validPrograms/Types.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/parsing/validPrograms/Types.fr -------------------------------------------------------------------------------- /src/test/testData/parsing/validPrograms/VaridConidQuotes.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/parsing/validPrograms/VaridConidQuotes.fr -------------------------------------------------------------------------------- /src/test/testData/rename/binding/fromQuotes/QuotesAfter.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/rename/binding/fromQuotes/QuotesAfter.fr -------------------------------------------------------------------------------- /src/test/testData/rename/binding/fromQuotes/QuotesBefore.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/rename/binding/fromQuotes/QuotesBefore.fr -------------------------------------------------------------------------------- /src/test/testData/rename/binding/functionName/BindingAfter.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/rename/binding/functionName/BindingAfter.fr -------------------------------------------------------------------------------- /src/test/testData/rename/binding/functionName/BindingBefore.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/rename/binding/functionName/BindingBefore.fr -------------------------------------------------------------------------------- /src/test/testData/rename/binding/operator/OperatorAfter.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/rename/binding/operator/OperatorAfter.fr -------------------------------------------------------------------------------- /src/test/testData/rename/binding/operator/OperatorBefore.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/rename/binding/operator/OperatorBefore.fr -------------------------------------------------------------------------------- /src/test/testData/rename/binding/quotes/QuotesAfter.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/rename/binding/quotes/QuotesAfter.fr -------------------------------------------------------------------------------- /src/test/testData/rename/binding/quotes/QuotesBefore.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/rename/binding/quotes/QuotesBefore.fr -------------------------------------------------------------------------------- /src/test/testData/rename/binding/wordOperator/WordOperatorAfter.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/rename/binding/wordOperator/WordOperatorAfter.fr -------------------------------------------------------------------------------- /src/test/testData/rename/binding/wordOperator/WordOperatorBefore.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/rename/binding/wordOperator/WordOperatorBefore.fr -------------------------------------------------------------------------------- /src/test/testData/rename/data/constructor/ConstructorAfter.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/rename/data/constructor/ConstructorAfter.fr -------------------------------------------------------------------------------- /src/test/testData/rename/data/constructor/ConstructorBefore.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/rename/data/constructor/ConstructorBefore.fr -------------------------------------------------------------------------------- /src/test/testData/rename/data/name/DataAfter.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/rename/data/name/DataAfter.fr -------------------------------------------------------------------------------- /src/test/testData/rename/data/name/DataBefore.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/rename/data/name/DataBefore.fr -------------------------------------------------------------------------------- /src/test/testData/rename/file/file/First.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/rename/file/file/First.fr -------------------------------------------------------------------------------- /src/test/testData/rename/file/file/FirstAfter.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/rename/file/file/FirstAfter.fr -------------------------------------------------------------------------------- /src/test/testData/rename/file/file/Second.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/rename/file/file/Second.fr -------------------------------------------------------------------------------- /src/test/testData/rename/file/file/SecondAfter.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/rename/file/file/SecondAfter.fr -------------------------------------------------------------------------------- /src/test/testData/rename/file/module/FirstAfter.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/rename/file/module/FirstAfter.fr -------------------------------------------------------------------------------- /src/test/testData/rename/file/module/FirstBefore.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/rename/file/module/FirstBefore.fr -------------------------------------------------------------------------------- /src/test/testData/rename/imports/importAlias/AliasAfter.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/rename/imports/importAlias/AliasAfter.fr -------------------------------------------------------------------------------- /src/test/testData/rename/imports/importAlias/AliasBefore.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/rename/imports/importAlias/AliasBefore.fr -------------------------------------------------------------------------------- /src/test/testData/rename/label/LabelAfter.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/rename/label/LabelAfter.fr -------------------------------------------------------------------------------- /src/test/testData/rename/label/LabelBefore.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/rename/label/LabelBefore.fr -------------------------------------------------------------------------------- /src/test/testData/rename/program/ProgramAfter.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/rename/program/ProgramAfter.fr -------------------------------------------------------------------------------- /src/test/testData/rename/program/ProgramBefore.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/rename/program/ProgramBefore.fr -------------------------------------------------------------------------------- /src/test/testData/rename/typeParameter/annotation/AnnotationAfter.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/rename/typeParameter/annotation/AnnotationAfter.fr -------------------------------------------------------------------------------- /src/test/testData/rename/typeParameter/annotation/AnnotationBefore.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/rename/typeParameter/annotation/AnnotationBefore.fr -------------------------------------------------------------------------------- /src/test/testData/rename/typeParameter/class/ClassAfter.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/rename/typeParameter/class/ClassAfter.fr -------------------------------------------------------------------------------- /src/test/testData/rename/typeParameter/class/ClassBefore.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/rename/typeParameter/class/ClassBefore.fr -------------------------------------------------------------------------------- /src/test/testData/rename/typeParameter/data/DataAfter.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/rename/typeParameter/data/DataAfter.fr -------------------------------------------------------------------------------- /src/test/testData/rename/typeParameter/data/DataBefore.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/rename/typeParameter/data/DataBefore.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/accessModifiers/private/noBinding/First.fr: -------------------------------------------------------------------------------- 1 | module First where 2 | 3 | import Second (test) 4 | 5 | mine = test 6 | -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/accessModifiers/private/noBinding/Second.fr: -------------------------------------------------------------------------------- 1 | module Second where 2 | 3 | private test = 10 4 | -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/accessModifiers/private/noBinding2/First.fr: -------------------------------------------------------------------------------- 1 | module First where 2 | 3 | import Second 4 | 5 | mine = test 6 | -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/accessModifiers/private/noBinding2/Second.fr: -------------------------------------------------------------------------------- 1 | module Second where 2 | 3 | private test = 10 4 | -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/accessModifiers/private/noData/First.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/accessModifiers/private/noData/First.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/accessModifiers/private/noData/Second.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/accessModifiers/private/noData/Second.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/accessModifiers/private/noData2/First.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/accessModifiers/private/noData2/First.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/accessModifiers/private/noData2/Second.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/accessModifiers/private/noData2/Second.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/accessModifiers/protected/binding/First.fr: -------------------------------------------------------------------------------- 1 | module First where 2 | 3 | import Second (test) 4 | 5 | mine = test 6 | -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/accessModifiers/protected/binding/Second.fr: -------------------------------------------------------------------------------- 1 | module Second where 2 | 3 | protected test = 10 4 | -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/accessModifiers/protected/data/First.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/accessModifiers/protected/data/First.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/accessModifiers/protected/data/Second.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/accessModifiers/protected/data/Second.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/accessModifiers/protected/noBinding/First.fr: -------------------------------------------------------------------------------- 1 | module First where 2 | 3 | import Second 4 | 5 | mine = test 6 | -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/accessModifiers/protected/noBinding/Second.fr: -------------------------------------------------------------------------------- 1 | module Second where 2 | 3 | protected test = 10 4 | -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/accessModifiers/protected/noConstructor/First.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/accessModifiers/protected/noConstructor/First.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/accessModifiers/protected/noConstructor/Second.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/accessModifiers/protected/noConstructor/Second.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/accessModifiers/protected/noData/First.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/accessModifiers/protected/noData/First.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/accessModifiers/protected/noData/Second.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/accessModifiers/protected/noData/Second.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/accessModifiers/public/binding/First.fr: -------------------------------------------------------------------------------- 1 | module First where 2 | 3 | import Second 4 | 5 | test = hello 6 | -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/accessModifiers/public/binding/Second.fr: -------------------------------------------------------------------------------- 1 | module Second where 2 | 3 | public hello = 10 4 | -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/accessModifiers/public/data/First.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/accessModifiers/public/data/First.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/accessModifiers/public/data/Second.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/accessModifiers/public/data/Second.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/binding/First.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/binding/First.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/binding/Second.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/binding/Second.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/bindingMultipleDefinitions/First.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/bindingMultipleDefinitions/First.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/bindingMultipleDefinitions/Second.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/bindingMultipleDefinitions/Second.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/class/fromInstance/ClassDeclaration.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/class/fromInstance/ClassDeclaration.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/class/fromInstance/ClassUsage.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/class/fromInstance/ClassUsage.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/class/notQualified/ClassDeclaration.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/class/notQualified/ClassDeclaration.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/class/notQualified/Usage.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/class/notQualified/Usage.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/data/noReference/Declaration.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/data/noReference/Declaration.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/data/noReference/Usage.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/data/noReference/Usage.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/data/toConstructor/DataDeclaration.fr: -------------------------------------------------------------------------------- 1 | module first.DataDeclaration where 2 | 3 | data PetyaFriend = Kirill | Jury 4 | -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/data/toConstructor/DataUsage.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/data/toConstructor/DataUsage.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/data/toDeclaration/Declaration.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/data/toDeclaration/Declaration.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/data/toDeclaration/Usage.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/data/toDeclaration/Usage.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/alias/importAliasBinding/Mine.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/alias/importAliasBinding/Mine.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/alias/importAliasBinding/Other.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/alias/importAliasBinding/Other.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/alias/importAliasClass/Jury.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/alias/importAliasClass/Jury.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/alias/importAliasClass/Kirill.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/alias/importAliasClass/Kirill.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/alias/importAliasClass/Petya.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/alias/importAliasClass/Petya.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/alias/noImportAliasBinding/Mine.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/alias/noImportAliasBinding/Mine.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/alias/noImportAliasBinding/Other.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/alias/noImportAliasBinding/Other.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/alias/noImportAliasClass/First.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/alias/noImportAliasClass/First.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/alias/noImportAliasClass/Second.fr: -------------------------------------------------------------------------------- 1 | module s.Second where 2 | 3 | import f.First public 4 | -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/alias/noImportAliasClass/Third.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/alias/noImportAliasClass/Third.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/alias/toImportAlias/Alias.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/alias/toImportAlias/Alias.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/alias/toImportAlias/Other.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/alias/toImportAlias/Other.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/hiding/hidingClass/Usage.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/hiding/hidingClass/Usage.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/list/noBinding/Lover.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/list/noBinding/Lover.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/list/noBinding/Usage.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/list/noBinding/Usage.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/list/noClass/Another.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/list/noClass/Another.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/list/noClass/Other.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/list/noClass/Other.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/list/noClass/Usage.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/list/noClass/Usage.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/list/noOperator/First.fr: -------------------------------------------------------------------------------- 1 | module First where 2 | 3 | import Second (test) 4 | 5 | main = 1 +++-- 2 6 | -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/list/noOperator/Second.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/list/noOperator/Second.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/list/toBinding/Lover.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/list/toBinding/Lover.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/list/toBinding/Usage.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/list/toBinding/Usage.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/list/toClass/Other.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/list/toClass/Other.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/list/toClass/Usage.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/list/toClass/Usage.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/list/toOperator/First.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/list/toOperator/First.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/list/toOperator/Second.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/list/toOperator/Second.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/module/withImportList/First.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/module/withImportList/First.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/module/withImportList/Second.fr: -------------------------------------------------------------------------------- 1 | module Second where 2 | 3 | test = 228 4 | -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/public/notPublicBinding/First.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/public/notPublicBinding/First.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/public/notPublicBinding/Second.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/public/notPublicBinding/Second.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/public/notPublicBinding/Usage.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/public/notPublicBinding/Usage.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/public/notPublicClassImport/First.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/public/notPublicClassImport/First.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/public/notPublicClassImport/Second.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/public/notPublicClassImport/Second.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/public/notPublicClassImport/Third.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/public/notPublicClassImport/Third.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/public/notPublicSequence/First.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/public/notPublicSequence/First.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/public/notPublicSequence/Fourth.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/public/notPublicSequence/Fourth.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/public/notPublicSequence/Second.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/public/notPublicSequence/Second.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/public/notPublicSequence/Third.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/public/notPublicSequence/Third.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/public/publicBinding/First.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/public/publicBinding/First.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/public/publicBinding/Second.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/public/publicBinding/Second.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/public/publicBinding/Usage.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/public/publicBinding/Usage.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/public/publicClassImport/First.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/public/publicClassImport/First.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/public/publicClassImport/Second.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/public/publicClassImport/Second.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/public/publicClassImport/Third.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/public/publicClassImport/Third.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/public/publicClassImport2/First.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/public/publicClassImport2/First.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/public/publicClassImport2/Second.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/public/publicClassImport2/Second.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/public/publicClassImport2/Third.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/public/publicClassImport2/Third.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/public/publicNoItems/Hello.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/public/publicNoItems/Hello.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/public/publicNoItems/World.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/public/publicNoItems/World.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/public/publicSequence/First.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/public/publicSequence/First.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/public/publicSequence/Fourth.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/public/publicSequence/Fourth.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/public/publicSequence/Second.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/public/publicSequence/Second.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/public/publicSequence/Third.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/imports/public/publicSequence/Third.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/toClass/Clazz.fr: -------------------------------------------------------------------------------- 1 | module other.Clazz where 2 | 3 | main = undefined 4 | -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/imports/toClass/Usage.fr: -------------------------------------------------------------------------------- 1 | module Usage where 2 | 3 | import other.Clazz 4 | 5 | main = undefined 6 | -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/nativeName/ToClassString/Petya.java: -------------------------------------------------------------------------------- 1 | package ru.hse; 2 | 3 | public class Petya { 4 | } 5 | -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/nativeName/ToClassString/Usage.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/nativeName/ToClassString/Usage.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/nativeName/ToClassStringMix/BelovedPetya.java: -------------------------------------------------------------------------------- 1 | package project.failed; 2 | 3 | public class BelovedPetya { 4 | } 5 | -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/nativeName/ToClassStringMix/FromKirill.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/nativeName/ToClassStringMix/FromKirill.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/nativeName/ToClassWithoutString/Clazz.java: -------------------------------------------------------------------------------- 1 | package my.pack.petya; 2 | 3 | public class Clazz { 4 | } 5 | -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/nativeName/ToClassWithoutString/NativeName.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/nativeName/ToClassWithoutString/NativeName.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/operators/dotOperator/First.fr: -------------------------------------------------------------------------------- 1 | module First where 2 | 3 | import Second (.) 4 | 5 | main = println $ 1 . 2 6 | -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/operators/dotOperator/Second.fr: -------------------------------------------------------------------------------- 1 | module Second where 2 | 3 | a . b = a - b * 2 4 | -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/operators/operatorWithDots/First.fr: -------------------------------------------------------------------------------- 1 | module First where 2 | 3 | import Second 4 | 5 | main = println $ 1 *..* 2 6 | -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/operators/operatorWithDots/Second.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/operators/operatorWithDots/Second.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/operators/wordOperator/First.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/operators/wordOperator/First.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/operators/wordOperator/Second.fr: -------------------------------------------------------------------------------- 1 | module Second where 2 | 3 | myKek a b = a - b 4 | -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/qualifiedBinding/First.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/qualifiedBinding/First.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/betweenFiles/qualifiedBinding/Second.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/betweenFiles/qualifiedBinding/Second.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/bindings/FromAnnotation.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/bindings/FromAnnotation.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/bindings/FromOtherBinding.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/bindings/FromOtherBinding.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/bindings/FromUsage.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/bindings/FromUsage.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/bindings/MultipleAnnotations.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/bindings/MultipleAnnotations.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/bindings/MultipleDefinitions1.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/bindings/MultipleDefinitions1.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/bindings/MultipleDefinitions2.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/bindings/MultipleDefinitions2.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/bindings/NoBinding.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/bindings/NoBinding.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/caseof/FromCaseExpr.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/caseof/FromCaseExpr.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/caseof/FromDeclToParam.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/caseof/FromDeclToParam.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/caseof/FromRightToLeft.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/caseof/FromRightToLeft.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/caseof/WhereUnderBindingAbove.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/caseof/WhereUnderBindingAbove.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/caseof/WhereUnderDecl.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/caseof/WhereUnderDecl.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/classes/FromFunctionUsage.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/classes/FromFunctionUsage.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/classes/FromInstance.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/classes/FromInstance.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/classes/WithConstraints.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/classes/WithConstraints.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/data/FromConstructorUsage.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/data/FromConstructorUsage.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/data/FromTypeUsage.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/data/FromTypeUsage.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/do/LetWithBraces.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/do/LetWithBraces.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/do/MultipleLet.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/do/MultipleLet.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/do/MultipleParam.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/do/MultipleParam.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/do/MultipleParam2.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/do/MultipleParam2.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/do/ToLetSemicolon.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/do/ToLetSemicolon.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/do/ToLetVirtual.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/do/ToLetVirtual.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/do/ToParamSemicolon.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/do/ToParamSemicolon.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/do/ToParamVirtual.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/do/ToParamVirtual.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/fromJava/ToBinding/Binding.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/fromJava/ToBinding/Binding.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/fromJava/ToBinding/BindingUsage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/fromJava/ToBinding/BindingUsage.java -------------------------------------------------------------------------------- /src/test/testData/resolve/fromJava/ToModule/JavaClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/fromJava/ToModule/JavaClass.java -------------------------------------------------------------------------------- /src/test/testData/resolve/fromJava/ToModule/MainModule.fr: -------------------------------------------------------------------------------- 1 | package main.MainModule where 2 | 3 | hello x = 10 + x 4 | -------------------------------------------------------------------------------- /src/test/testData/resolve/instance/ToBaseMethod.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/instance/ToBaseMethod.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/instance/ToInstancedMethod.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/instance/ToInstancedMethod.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/labels/Label.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/labels/Label.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/let/LetIn.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/let/LetIn.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/let/LetInBraces.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/let/LetInBraces.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/let/LetUseNextVariable.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/let/LetUseNextVariable.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/let/LetUsePreviousVariable.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/let/LetUsePreviousVariable.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/nativeData/FromType.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/nativeData/FromType.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/nativeData/NoMethod.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/nativeData/NoMethod.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/nativeData/ToMethod.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/nativeData/ToMethod.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/newtype/NoBinding.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/newtype/NoBinding.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/newtype/ToBinding.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/newtype/ToBinding.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/newtype/ToConstructor.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/newtype/ToConstructor.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/newtype/ToDeclaration.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/newtype/ToDeclaration.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/operators/AnnotationInClass.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/operators/AnnotationInClass.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/operators/FromInfix.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/operators/FromInfix.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/operators/FromUsage.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/operators/FromUsage.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/operators/NoOperator.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/operators/NoOperator.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/operators/PrefixNotation.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/operators/PrefixNotation.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/operators/SingleCharOperator.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/operators/SingleCharOperator.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/operators/dots/ToBinding.fr: -------------------------------------------------------------------------------- 1 | module ToBinding where 2 | 3 | a . b = a + 2 4 | 5 | main = println (1 . 2) 6 | -------------------------------------------------------------------------------- /src/test/testData/resolve/operators/dots/ToClassAnnotation.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/operators/dots/ToClassAnnotation.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/operators/word/FromAnnotation.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/operators/word/FromAnnotation.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/operators/word/FromRegularBinding.fr: -------------------------------------------------------------------------------- 1 | module FromRegularBinding where 2 | 3 | a `kek` b = a - b 4 | test = kek 1 2 5 | -------------------------------------------------------------------------------- /src/test/testData/resolve/operators/word/FromRegularBindingInDeclaration.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/operators/word/FromRegularBindingInDeclaration.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/operators/word/FromUsage.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/operators/word/FromUsage.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/operators/word/FromUsageToRegularBinding.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/operators/word/FromUsageToRegularBinding.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/parameters/Guard.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/parameters/Guard.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/parameters/Lambda.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/parameters/Lambda.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/parameters/LambdaInDo.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/parameters/LambdaInDo.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/parameters/LastSymbol.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/parameters/LastSymbol.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/parameters/NoParameter.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/parameters/NoParameter.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/parameters/Parameters.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/parameters/Parameters.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/program/NoInnerData.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/program/NoInnerData.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/program/ToInnerData.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/program/ToInnerData.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/program/ToProgram.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/program/ToProgram.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/type/ToDeclaration.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/type/ToDeclaration.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/type/ToOriginConstructor.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/type/ToOriginConstructor.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/typeParameters/Annotation.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/typeParameters/Annotation.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/typeParameters/Class.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/typeParameters/Class.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/typeParameters/Label.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/typeParameters/Label.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/typeParameters/NativeData.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/typeParameters/NativeData.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/typeParameters/Newtype.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/typeParameters/Newtype.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/typeParameters/Type.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/typeParameters/Type.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/where/BindingAbove.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/where/BindingAbove.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/where/BindingBelow.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/where/BindingBelow.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/where/NearestBinding.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/where/NearestBinding.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/where/NearestParameter.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/where/NearestParameter.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/where/NoAvailableBinding.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/where/NoAvailableBinding.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/where/NoBindingBelow.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/where/NoBindingBelow.fr -------------------------------------------------------------------------------- /src/test/testData/resolve/where/ParameterAbove.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IntelliJ-Frege/intellij-frege/HEAD/src/test/testData/resolve/where/ParameterAbove.fr --------------------------------------------------------------------------------