owo-lang / intellij-dtlc Goto Github PK
View Code? Open in Web Editor NEWIntelliJ plugin for several experimental programming languages here
License: Apache License 2.0
intellij-dtlc's Issues
Generator should read tt-bundle.properties
Depended by #17
Generator should take care of trivial contents in plugin.xml and ...
.. merge the nontrivial hand-written parts with the generated parts.
Exception handling
Add this test please
-- let Bool : U = Sum (true 1 | false 1);
-- letrec Nat : U = Sum ( zero 1 | succ Nat );
-- let zro : Nat = zero 0;
let Maybe : Pi A : U . U = \A.
Sum ( Nothing 1 | Just A );
let Unwrap : Pi A : U . Pi x : Maybe A . U = \A.
fun ( Nothing -> \_. 1 | Just -> \_. A );
let unwrap : Pi A : U . Pi x : Maybe A . Unwrap A x = \A.
fun ( Nothing -> \_. 0 | Just -> \a. a );
Void
DeprecatedMethodException
com.intellij.util.DeprecatedMethodException: The default implementation of method 'com.intellij.execution.configurations.ConfigurationFactory.getId' is deprecated, you need to override it in 'class org.ice1000.tt.execution.MiniAgdaRunConfigurationFactory'. The default implementation delegates to 'getName' which may be localized but return value of this method must not depend on current localization.
at com.intellij.util.DeprecatedMethodException.reportDefaultImplementation(DeprecatedMethodException.java:39)
at com.intellij.execution.configurations.ConfigurationFactory.getId(ConfigurationFactory.java:82)
at com.intellij.execution.impl.RunManagerImpl.getFactory(RunManagerImpl.kt:1007)
at com.intellij.execution.impl.RunManagerImpl.getFactory(RunManagerImpl.kt:1000)
at com.intellij.execution.impl.RunnerAndConfigurationSettingsImpl.readExternal(RunnerAndConfigurationSettingsImpl.kt:207)
at com.intellij.execution.impl.RunConfigurationSchemeManager.readData(RunConfigurationSchemeManager.kt:60)
at com.intellij.execution.impl.RunConfigurationSchemeManager.createScheme(RunConfigurationSchemeManager.kt:43)
at com.intellij.execution.impl.RunConfigurationSchemeManager.createScheme(RunConfigurationSchemeManager.kt:21)
at com.intellij.configurationStore.LazySchemeProcessor.createScheme$default(scheme-impl.kt:65)
at com.intellij.configurationStore.schemeManager.SchemeLoader.loadScheme(schemeLoader.kt:175)
at com.intellij.configurationStore.schemeManager.SchemeManagerImpl$loadSchemes$isLoadOnlyFromProvider$2.invoke(SchemeManagerImpl.kt:194)
at com.intellij.configurationStore.schemeManager.SchemeManagerImpl$loadSchemes$isLoadOnlyFromProvider$2.invoke(SchemeManagerImpl.kt:42)
at com.intellij.configurationStore.SchemeManagerIprProvider.processChildren(SchemeManagerIprProvider.kt:48)
at com.intellij.configurationStore.schemeManager.SchemeManagerImpl.loadSchemes(SchemeManagerImpl.kt:192)
at com.intellij.configurationStore.schemeManager.SchemeManagerImpl.reload(SchemeManagerImpl.kt:253)
at com.intellij.execution.impl.RunManagerImpl.loadState(RunManagerImpl.kt:772)
at com.intellij.execution.impl.RunManagerImpl.loadState(RunManagerImpl.kt:72)
at com.intellij.configurationStore.ComponentStoreImpl.doInitComponent(ComponentStoreImpl.kt:430)
at com.intellij.configurationStore.ComponentStoreImpl.initComponent(ComponentStoreImpl.kt:370)
at com.intellij.configurationStore.ComponentStoreImpl.initComponent(ComponentStoreImpl.kt:117)
at com.intellij.configurationStore.ComponentStoreWithExtraComponents.initComponent(ComponentStoreWithExtraComponents.kt:48)
at com.intellij.serviceContainer.ComponentManagerImpl.initializeComponent$intellij_platform_serviceContainer(ComponentManagerImpl.kt:354)
at com.intellij.serviceContainer.ServiceComponentAdapter.createAndInitialize(ServiceComponentAdapter.kt:53)
at com.intellij.serviceContainer.ServiceComponentAdapter.access$createAndInitialize(ServiceComponentAdapter.kt:13)
at com.intellij.serviceContainer.ServiceComponentAdapter$doCreateInstance$1.run(ServiceComponentAdapter.kt:43)
at com.intellij.openapi.progress.impl.CoreProgressManager.registerIndicatorAndRun(CoreProgressManager.java:658)
at com.intellij.openapi.progress.impl.CoreProgressManager.executeProcessUnderProgress(CoreProgressManager.java:610)
at com.intellij.openapi.progress.impl.ProgressManagerImpl.executeProcessUnderProgress(ProgressManagerImpl.java:62)
at com.intellij.openapi.progress.impl.CoreProgressManager.executeNonCancelableSection(CoreProgressManager.java:218)
at com.intellij.serviceContainer.ServiceComponentAdapter.doCreateInstance(ServiceComponentAdapter.kt:42)
at com.intellij.serviceContainer.BaseComponentAdapter.getInstanceUncached(BaseComponentAdapter.kt:113)
at com.intellij.serviceContainer.BaseComponentAdapter.getInstance(BaseComponentAdapter.kt:67)
at com.intellij.serviceContainer.ComponentManagerImpl.doGetService(ComponentManagerImpl.kt:410)
at com.intellij.serviceContainer.ComponentManagerImpl.getService(ComponentManagerImpl.kt:392)
at com.intellij.execution.impl.ProjectRunConfigurationInitializer.serviceCreated(ProjectRunConfigurationInitializer.kt:28)
at com.intellij.openapi.project.impl.ProjectExImpl$init$$inlined$runOnlyCorePluginExtensions$1.accept(projectLoader.kt:88)
at com.intellij.openapi.project.impl.ProjectExImpl$init$$inlined$runOnlyCorePluginExtensions$1.accept(projectLoader.kt)
at com.intellij.openapi.extensions.impl.ExtensionPointImpl.processWithPluginDescriptor(ExtensionPointImpl.java:295)
at com.intellij.openapi.project.impl.ProjectExImpl.init(ProjectExImpl.kt:286)
at com.intellij.openapi.project.impl.ProjectManagerImpl.initProject(ProjectManagerImpl.java:172)
at com.intellij.openapi.project.impl.ProjectManagerExImpl.prepareProject(ProjectManagerExImpl.kt:239)
at com.intellij.openapi.project.impl.ProjectManagerExImpl.access$prepareProject(ProjectManagerExImpl.kt:50)
at com.intellij.openapi.project.impl.ProjectManagerExImpl$openProject$$inlined$runInAutoSaveDisabledMode$lambda$1.invoke(ProjectManagerExImpl.kt:102)
at com.intellij.openapi.project.impl.ProjectManagerExImpl$openProject$$inlined$runInAutoSaveDisabledMode$lambda$1.invoke(ProjectManagerExImpl.kt:50)
at com.intellij.openapi.project.impl.ProjectUiFrameAllocator$run$1$progressTask$1.run(ProjectFrameAllocator.kt:98)
at com.intellij.openapi.progress.impl.CoreProgressManager$TaskRunnable.run(CoreProgressManager.java:962)
at com.intellij.openapi.progress.impl.CoreProgressManager$4.run(CoreProgressManager.java:520)
at com.intellij.openapi.progress.impl.ProgressRunner.lambda$new$0(ProgressRunner.java:80)
at com.intellij.openapi.progress.impl.ProgressRunner.lambda$submit$3(ProgressRunner.java:236)
at com.intellij.openapi.progress.impl.CoreProgressManager.lambda$runProcess$2(CoreProgressManager.java:178)
at com.intellij.openapi.progress.impl.CoreProgressManager.registerIndicatorAndRun(CoreProgressManager.java:658)
at com.intellij.openapi.progress.impl.CoreProgressManager.executeProcessUnderProgress(CoreProgressManager.java:610)
at com.intellij.openapi.progress.impl.ProgressManagerImpl.executeProcessUnderProgress(ProgressManagerImpl.java:62)
at com.intellij.openapi.progress.impl.CoreProgressManager.runProcess(CoreProgressManager.java:165)
at com.intellij.openapi.progress.impl.ProgressRunner.lambda$submit$4(ProgressRunner.java:236)
at java.base/java.util.concurrent.CompletableFuture$AsyncSupply.run(CompletableFuture.java:1700)
at java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1128)
at java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:628)
at java.base/java.util.concurrent.Executors$PrivilegedThreadFactory$1$1.run(Executors.java:668)
at java.base/java.util.concurrent.Executors$PrivilegedThreadFactory$1$1.run(Executors.java:665)
at java.base/java.security.AccessController.doPrivileged(Native Method)
at java.base/java.util.concurrent.Executors$PrivilegedThreadFactory$1.run(Executors.java:665)
at java.base/java.lang.Thread.run(Thread.java:834)
Language data generation should read from json
... instead of configuring themselves in the build script
[auto-generated:1631960852] null
- Plugin Name:
- Plugin Version:
- OS Name: Windows 10
- Java Version: 1.8.0_152-release
- App Name: CLion
- App Full Name: CLion
- App Version name: CLion
- Is EAP: false
- App Build: CL-183.5429.37
- App Version: 2018.3.4
- Last Action:
- title: [auto-generated:1631960852] null
java.util.NoSuchElementException: List is empty.
at kotlin.collections.CollectionsKt___CollectionsKt.first(_Collections.kt:197)
at org.ice1000.minitt.UtilsKt.versionOf(utils.kt:30)
at org.ice1000.minitt.project.ui.MiniTTProjectConfigurableImpl.reinit(ui-impl.kt:30)
at org.ice1000.minitt.project.ui.MiniTTProjectConfigurableImpl.access$reinit(ui-impl.kt:12)
at org.ice1000.minitt.project.ui.MiniTTProjectConfigurableImpl$1.propertyChange(ui-impl.kt:22)
at java.beans.PropertyChangeSupport.fire(PropertyChangeSupport.java:335)
at java.beans.PropertyChangeSupport.firePropertyChange(PropertyChangeSupport.java:327)
at java.beans.PropertyChangeSupport.firePropertyChange(PropertyChangeSupport.java:263)
at java.awt.Component.firePropertyChange(Component.java:8443)
at javax.swing.JComponent.addNotify(JComponent.java:4742)
at java.awt.Container.addNotify(Container.java:2774)
at javax.swing.JComponent.addNotify(JComponent.java:4741)
at java.awt.Container.addNotify(Container.java:2774)
at javax.swing.JComponent.addNotify(JComponent.java:4741)
at java.awt.Container.addNotify(Container.java:2774)
at javax.swing.JComponent.addNotify(JComponent.java:4741)
at java.awt.Container.addNotify(Container.java:2774)
at javax.swing.JComponent.addNotify(JComponent.java:4741)
at java.awt.Container.addImpl(Container.java:1122)
at java.awt.Container.add(Container.java:417)
at com.intellij.ui.CardLayoutPanel.createValue(CardLayoutPanel.java:92)
at com.intellij.ui.CardLayoutPanel.select(CardLayoutPanel.java:116)
at com.intellij.ui.CardLayoutPanel.lambda$null$0(CardLayoutPanel.java:132)
at com.intellij.openapi.application.TransactionGuardImpl$2.run(TransactionGuardImpl.java:315)
at com.intellij.openapi.application.impl.LaterInvocator$FlushQueue.doRun(LaterInvocator.java:435)
at com.intellij.openapi.application.impl.LaterInvocator$FlushQueue.runNextEvent(LaterInvocator.java:419)
at com.intellij.openapi.application.impl.LaterInvocator$FlushQueue.run(LaterInvocator.java:403)
at java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:311)
at java.awt.EventQueue.dispatchEventImpl(EventQueue.java:762)
at java.awt.EventQueue.access$500(EventQueue.java:98)
at java.awt.EventQueue$3.run(EventQueue.java:715)
at java.awt.EventQueue$3.run(EventQueue.java:709)
at java.security.AccessController.doPrivileged(Native Method)
at java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:80)
at java.awt.EventQueue.dispatchEvent(EventQueue.java:732)
at com.intellij.ide.IdeEventQueue.defaultDispatchEvent(IdeEventQueue.java:719)
at com.intellij.ide.IdeEventQueue._dispatchEvent(IdeEventQueue.java:668)
at com.intellij.ide.IdeEventQueue.dispatchEvent(IdeEventQueue.java:363)
at java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:201)
at java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:116)
at java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:109)
at java.awt.WaitDispatchSupport$2.run(WaitDispatchSupport.java:190)
at java.awt.WaitDispatchSupport$4.run(WaitDispatchSupport.java:235)
at java.awt.WaitDispatchSupport$4.run(WaitDispatchSupport.java:233)
at java.security.AccessController.doPrivileged(Native Method)
at java.awt.WaitDispatchSupport.enter(WaitDispatchSupport.java:233)
at java.awt.Dialog.show(Dialog.java:1077)
at com.intellij.openapi.ui.impl.DialogWrapperPeerImpl$MyDialog.show(DialogWrapperPeerImpl.java:698)
at com.intellij.openapi.ui.impl.DialogWrapperPeerImpl.show(DialogWrapperPeerImpl.java:430)
at com.intellij.openapi.ui.DialogWrapper.invokeShow(DialogWrapper.java:1681)
at com.intellij.openapi.ui.DialogWrapper.show(DialogWrapper.java:1630)
at com.intellij.openapi.options.newEditor.SettingsDialog.lambda$show$0(SettingsDialog.java:70)
at com.intellij.openapi.application.TransactionGuardImpl.runSyncTransaction(TransactionGuardImpl.java:88)
at com.intellij.openapi.application.TransactionGuardImpl.submitTransactionAndWait(TransactionGuardImpl.java:153)
at com.intellij.openapi.options.newEditor.SettingsDialog.show(SettingsDialog.java:70)
at com.intellij.ide.actions.ShowSettingsUtilImpl.showSettingsDialog(ShowSettingsUtilImpl.java:84)
at com.intellij.ide.actions.ShowSettingsAction.perform(ShowSettingsAction.java:54)
at com.intellij.ide.actions.ShowSettingsAction.actionPerformed(ShowSettingsAction.java:41)
at com.intellij.openapi.actionSystem.ex.ActionUtil$1.run(ActionUtil.java:258)
at com.intellij.openapi.actionSystem.ex.ActionUtil.performActionDumbAware(ActionUtil.java:275)
at com.intellij.openapi.actionSystem.impl.ActionMenuItem$ActionTransmitter.lambda$actionPerformed$0(ActionMenuItem.java:287)
at com.intellij.openapi.wm.impl.FocusManagerImpl.runOnOwnContext(FocusManagerImpl.java:283)
at com.intellij.openapi.wm.impl.IdeFocusManagerImpl.runOnOwnContext(IdeFocusManagerImpl.java:106)
at com.intellij.openapi.actionSystem.impl.ActionMenuItem$ActionTransmitter.actionPerformed(ActionMenuItem.java:277)
at javax.swing.AbstractButton.fireActionPerformed(AbstractButton.java:2022)
at com.intellij.openapi.actionSystem.impl.ActionMenuItem.lambda$fireActionPerformed$0(ActionMenuItem.java:111)
at com.intellij.openapi.application.TransactionGuardImpl.runSyncTransaction(TransactionGuardImpl.java:88)
at com.intellij.openapi.application.TransactionGuardImpl.lambda$submitTransaction$1(TransactionGuardImpl.java:111)
at com.intellij.openapi.application.TransactionGuardImpl.submitTransaction(TransactionGuardImpl.java:120)
at com.intellij.openapi.application.TransactionGuard.submitTransaction(TransactionGuard.java:122)
at com.intellij.openapi.actionSystem.impl.ActionMenuItem.fireActionPerformed(ActionMenuItem.java:111)
at com.intellij.ui.plaf.beg.BegMenuItemUI.doClick(BegMenuItemUI.java:522)
at com.intellij.ui.plaf.beg.BegMenuItemUI.access$300(BegMenuItemUI.java:35)
at com.intellij.ui.plaf.beg.BegMenuItemUI$MyMouseInputHandler.mouseReleased(BegMenuItemUI.java:544)
at java.awt.Component.processMouseEvent(Component.java:6548)
at javax.swing.JComponent.processMouseEvent(JComponent.java:3325)
at java.awt.Component.processEvent(Component.java:6313)
at java.awt.Container.processEvent(Container.java:2237)
at java.awt.Component.dispatchEventImpl(Component.java:4903)
at java.awt.Container.dispatchEventImpl(Container.java:2295)
at java.awt.Component.dispatchEvent(Component.java:4725)
at java.awt.LightweightDispatcher.retargetMouseEvent(Container.java:4889)
at java.awt.LightweightDispatcher.processMouseEvent(Container.java:4526)
at java.awt.LightweightDispatcher.dispatchEvent(Container.java:4467)
at java.awt.Container.dispatchEventImpl(Container.java:2281)
at java.awt.Window.dispatchEventImpl(Window.java:2746)
at java.awt.Component.dispatchEvent(Component.java:4725)
at java.awt.EventQueue.dispatchEventImpl(EventQueue.java:764)
at java.awt.EventQueue.access$500(EventQueue.java:98)
at java.awt.EventQueue$3.run(EventQueue.java:715)
at java.awt.EventQueue$3.run(EventQueue.java:709)
at java.security.AccessController.doPrivileged(Native Method)
at java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:80)
at java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:90)
at java.awt.EventQueue$4.run(EventQueue.java:737)
at java.awt.EventQueue$4.run(EventQueue.java:735)
at java.security.AccessController.doPrivileged(Native Method)
at java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:80)
at java.awt.EventQueue.dispatchEvent(EventQueue.java:734)
at com.intellij.ide.IdeEventQueue.defaultDispatchEvent(IdeEventQueue.java:719)
at com.intellij.ide.IdeEventQueue._dispatchEvent(IdeEventQueue.java:664)
at com.intellij.ide.IdeEventQueue.dispatchEvent(IdeEventQueue.java:363)
at java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:201)
at java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:116)
at java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:105)
at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101)
at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:93)
at java.awt.EventDispatchThread.run(EventDispatchThread.java:82)
Support Narc
As title.
MLPolyR parse failed
let fun lastcons l =
match l with
cases `Cons (hd, rest) =>
(match rest with
cases (more as `Cons _) => lastcons more
| `Nil () => `Cons (hd, `Nil ()))
fun inclast l =
match lastcons l with
cases `Cons (hd, tl) =>
(match tl with cases `Nil () => hd+1)
in
0
endlet fun print l = String.output (String.concat l)
fun pi what i = print [what, ": ", String.fromInt i, "\n"]
fun test1 () =
let fun addab r =
let val x = r.a + r.b
in pi "addab" x;
x
end
in addab { a = 5, b = 7, c = "hello" } -
addab { b = 23, a = 0 } *
addab { z = 1, a = 22, y = 15, b = -1, x = 4 }
end
fun test2 () =
let fun augmentc (r, x) = { ... = r, c = x }
in (augmentc ({ a = 1 }, 8), augmentc ({ b = 2 }, "a string"))
end
in pi "test1" (test1 ());
let val ({ a, c = c1 }, { b, c = c2 }) = test2 ()
in pi "a" a;
pi "c1" c1;
pi "b" b;
print ["c2: ", c2, "\n"]
end;
0
endlet val n = { i := 1000 }
fun withfresh f = let val i = n!i in n!i := i+1; f i end
(* ---- utilities ---- *)
fun Let (x, e1, e2) = `App (`Lam ([x], e2), [e1])
fun kv2kb kv = fn v => `App (kv, [v])
fun kb2kv kb = withfresh (fn rx => `Lam ([rx], kb (`Var rx)))
fun cvt_app (cvt, e, el, kv) =
let fun lc (el, kb) =
case el of [] => kb []
| e :: el => pc (e, el, fn (v, vl) => kb (v :: vl))
and pc (e, el, kb) = cvt (e, fn v => lc (el, fn vl => kb (v, vl)))
in pc (e, el, fn (v, vl) => `App (v, kv :: vl))
end
fun cvt_lam (cvt, xl, e) =
withfresh (fn xk => `Lam (xk :: xl, cvt (e, kv2kb (`Var xk))))
fun cvt_c (cvt, kb) =
cases `Const i => kb (`Const i)
| `Var x => kb (`Var x)
| `Lam (xl, e) => kb (cvt_lam (cvt, xl, e))
| `App (e, el) => cvt_app (cvt, e, el, kb2kv kb)
fun mkConvert (c, e) =
let fun cvt (e, kb) = match e with c (cvt, kb)
in cvt_lam (cvt, [], e)
end
fun convert e = mkConvert (cvt_c, e)
fun cvt_if_c other (cvt, kb) =
cases `If (e1, e2, e3) =>
withfresh (fn xk =>
Let (xk, kb2kv kb, cvt (e1, fn v1 =>
let val kb' = kv2kb (`Var xk)
in `If (v1, cvt (e2, kb'), cvt (e3, kb'))
end)))
default: other (cvt, kb)
fun cvt_lcc_c other (cvt, kb) =
cases `LetCC (x, e) => (*...*)233
default: other (cvt, kb)
fun convert_if e = mkConvert (cvt_if_c cvt_c, e)
in 0
endlet (* library *)
fun s2i x = String.toInt x
fun i2s x = String.fromInt x
fun print x = String.output (i2s x)
fun println x = (String.output (i2s x); String.output ("\n"))
fun assert (id, x, y) =
if x == y
then (String.output "#"; print id; String.output " is right."; String.output "\n")
else (String.output "#"; print id; String.output " is wrong."; String.output "\n")
(* test cases *)
fun run () = (
(* basic *)
assert (1,
let fun f x = let val {x=a, y=b, ...=c} = x in a end
in f {x=1, y=true, z=[]} end, 1);
assert (2,
let fun f x = let val {x=a, ...=c} = x in c end
fun f' x = x.y
in f' (f {x=true, y=5, z=[]} ) end, 5);
assert (3,
let fun f x = let val {x=a, ...=c} = x in a end
fun g _ = f {x=1, y=true, z=[]}
fun g' _ = f {x=true, z=[]}
in g () end, 1);
assert (4,
let fun f x = let val {x=a, y=b, ...=c} = x in a end
fun g _ = f {x=1, y=true, z=[]}
fun g' _ = f {x=true, y=[], z=[]}
in g () end, 1);
assert (5,
let fun f x = let val {x=a, ...=c} = x in a end
fun g _ = f {x=1, y=true}
in g () end, 1);
assert (6,
let fun f x = let val {x=a, ...=c} = x in c end (* SEL (r,1,3) *)
fun g x = let val {y=a, ...=c} = f x in a end (* SEL (r,1,2) *)
in g {x=true, y=5, z=[]} end, 5);
assert (7,
let fun g x = let val {y=a, ...=c} = {y=x.y, z=x.z} in a end
in g {x=true, y=5, z=[]} end, 5);
assert (8,
let fun f x = let val {...=c} = x in c end (* SEL (r,0,3) *)
fun g x = let val {x=_, y=a, ...=c} = f x in a end (* SEL (r,2,3) *)
in g {x=true, y=5, z=[]} end, 5);
assert (9,
let fun f x = let val {x=a, ...=c} = x in c end
fun g _ = let val {y=a, ...=c} =
f {x=true, y=5, z=[]} in a end
in g() end, 5);
assert (10,
let fun f {x=a, ...=c} = c (* SEL (r,1,3) *)
fun g x = let val {y=a, ...=c} = f x in a end (* SEL (r,1,2) *)
in g {x=true, y=5, z=[]} end, 5)
)
in (run (); 0)
endlet fun i2s x = String.fromInt x
fun print x = String.output (i2s x)
fun assert (id, x, y) =
if x == y
then (String.output "#"; print id; String.output " is right."; String.output "\n")
else (String.output "#"; print id; String.output " is wrong."; String.output "\n")
fun f {x=a, ...=c} = c (* SEL (r,1,3) *)
fun g x = let val {y=a, ...=c} = f x in a end (* SEL (r,1,2) *)
in (assert (1, g {x=true, y=5, z=[]}, 5);0)
end(***********************************)
(* where exp *)
(***********************************)let fun i2s x = String.fromInt x
fun print x = String.output (i2s x)
fun assert (id, x, y) =
if x == y
then (String.output "#"; print id; String.output " is right."; String.output "\n")
else (String.output "#"; print id; String.output " is wrong."; String.output "\n")
fun f {x=a, ...=r} = {...=a, b=r.y}
fun f' r = r.b
in (assert (1, f' (f {x={a=1, c=3}, y=5}), 5); 0)
endTBC...
Generate Java instead of Kotlin
In buildSrc, we generate a lot of Kotlin, which compiles slow.
How 'bout generate Java instead?
Code reuse for RedPRL support
I'm talking about the Reference classes
MLPolyR support?
We can rename plugin: https://intellij-support.jetbrains.com/hc/en-us/community/posts/360000682259-rename-plugin
MLPolyR grammar: https://github.com/LdBeth/mlpolyr
Generator should take care of file creator and file type factory
As title.
Generator should also do verification
As title.
[auto-generated:473230780] null
@ice1000 you stupid
- Plugin Name: Dependently-Typed Lambda Calculus
- Plugin Version: 0.0.5
- OS Name: Linux
- Java Version: 1.8.0_181
- App Name: IDEA
- App Full Name: IntelliJ IDEA
- App Version name: IntelliJ IDEA
- Is EAP: false
- App Build: IC-191.6183.87
- App Version: 2019.1
- Last Action: EditorBackSpace
- title: [auto-generated:473230780] null
com.intellij.diagnostic.PluginException: org.ice1000.tt.editing.minitt.MiniTTHighlighterFactory PluginClassLoader[org.ice1000.tt, 0.0.5] com.intellij.ide.plugins.cl.PluginClassLoader@1bdd2355 [Plugin: org.ice1000.tt]
at com.intellij.util.ExtensionInstantiator.instantiateWithPicoContainerOnlyIfNeeded(ExtensionInstantiator.java:37)
at com.intellij.openapi.extensions.CustomLoadingExtensionPointBean.instantiateExtension(CustomLoadingExtensionPointBean.java:21)
at com.intellij.lang.LanguageExtensionPoint.lambda$new$0(LanguageExtensionPoint.java:22)
at com.intellij.openapi.util.NotNullLazyValue$2.compute(NotNullLazyValue.java:68)
at com.intellij.openapi.util.NotNullLazyValue.getValue(NotNullLazyValue.java:39)
at com.intellij.lang.LanguageExtensionPoint.getInstance(LanguageExtensionPoint.java:27)
at com.intellij.openapi.util.KeyedExtensionCollector.buildExtensionsFromExtensionPoint(KeyedExtensionCollector.java:171)
at com.intellij.openapi.util.KeyedExtensionCollector.buildExtensions(KeyedExtensionCollector.java:155)
at com.intellij.lang.LanguageExtension.buildExtensions(LanguageExtension.java:98)
at com.intellij.lang.LanguageExtension.buildExtensions(LanguageExtension.java:23)
at com.intellij.openapi.util.KeyedExtensionCollector.forKey(KeyedExtensionCollector.java:134)
at com.intellij.lang.LanguageExtension.findForLanguage(LanguageExtension.java:60)
at com.intellij.lang.LanguageExtension.forLanguage(LanguageExtension.java:52)
at com.intellij.openapi.fileTypes.SyntaxHighlighterFactory.getSyntaxHighlighter(SyntaxHighlighterFactory.java:39)
at com.intellij.openapi.fileTypes.LanguageFileTypeHighlighterProvider.create(LanguageFileTypeHighlighterProvider.java:31)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at com.intellij.openapi.util.KeyedExtensionFactory.getByKey(KeyedExtensionFactory.java:91)
at com.intellij.openapi.util.KeyedExtensionFactory.access$000(KeyedExtensionFactory.java:22)
at com.intellij.openapi.util.KeyedExtensionFactory$1.invoke(KeyedExtensionFactory.java:45)
at com.sun.proxy.$Proxy81.create(Unknown Source)
at com.intellij.openapi.fileTypes.SyntaxHighlighterFactory.getSyntaxHighlighter(SyntaxHighlighterFactory.java:54)
at com.intellij.openapi.fileTypes.FileTypeEditorHighlighterProviders$1.getEditorHighlighter(FileTypeEditorHighlighterProviders.java:51)
at com.intellij.openapi.editor.highlighter.EditorHighlighterFactoryImpl.createEditorHighlighter(EditorHighlighterFactoryImpl.java:78)
at com.intellij.openapi.fileEditor.impl.text.TextEditorImpl.loadEditorInBackground(TextEditorImpl.java:75)
at com.intellij.openapi.fileEditor.impl.text.PsiAwareTextEditorImpl.loadEditorInBackground(PsiAwareTextEditorImpl.java:44)
at com.intellij.openapi.fileEditor.impl.text.AsyncEditorLoader.lambda$tryLoadEditor$4(AsyncEditorLoader.java:163)
at com.intellij.psi.impl.PsiDocumentManagerBase.lambda$commitAndRunReadAction$4(PsiDocumentManagerBase.java:507)
at com.intellij.openapi.application.impl.ApplicationImpl.runReadAction(ApplicationImpl.java:974)
at com.intellij.openapi.application.ReadAction.compute(ReadAction.java:57)
at com.intellij.psi.impl.PsiDocumentManagerBase.commitAndRunReadAction(PsiDocumentManagerBase.java:505)
at com.intellij.openapi.fileEditor.impl.text.AsyncEditorLoader.lambda$tryLoadEditor$5(AsyncEditorLoader.java:166)
at com.intellij.openapi.progress.util.ProgressIndicatorUtils.lambda$runWithWriteActionPriority$1(ProgressIndicatorUtils.java:121)
at com.intellij.openapi.progress.impl.CoreProgressManager.lambda$runProcess$2(CoreProgressManager.java:164)
at com.intellij.openapi.progress.impl.CoreProgressManager.registerIndicatorAndRun(CoreProgressManager.java:586)
at com.intellij.openapi.progress.impl.CoreProgressManager.executeProcessUnderProgress(CoreProgressManager.java:532)
at com.intellij.openapi.progress.impl.ProgressManagerImpl.executeProcessUnderProgress(ProgressManagerImpl.java:86)
at com.intellij.openapi.progress.impl.CoreProgressManager.runProcess(CoreProgressManager.java:151)
at com.intellij.openapi.progress.util.ProgressIndicatorUtils.runWithWriteActionPriority(ProgressIndicatorUtils.java:110)
at com.intellij.openapi.fileEditor.impl.text.AsyncEditorLoader.tryLoadEditor(AsyncEditorLoader.java:165)
at com.intellij.openapi.fileEditor.impl.text.AsyncEditorLoader.lambda$scheduleLoading$2(AsyncEditorLoader.java:122)
at java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:511)
at java.util.concurrent.FutureTask.run(FutureTask.java:266)
at com.intellij.util.concurrency.BoundedTaskExecutor.doRun(BoundedTaskExecutor.java:220)
at com.intellij.util.concurrency.BoundedTaskExecutor.access$100(BoundedTaskExecutor.java:26)
at com.intellij.util.concurrency.BoundedTaskExecutor$2.lambda$run$0(BoundedTaskExecutor.java:198)
at com.intellij.util.ConcurrencyUtil.runUnderThreadName(ConcurrencyUtil.java:224)
at com.intellij.util.concurrency.BoundedTaskExecutor$2.run(BoundedTaskExecutor.java:194)
at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
at java.lang.Thread.run(Thread.java:748)
Caused by: java.lang.ClassNotFoundException: org.ice1000.tt.editing.minitt.MiniTTHighlighterFactory PluginClassLoader[org.ice1000.tt, 0.0.5] com.intellij.ide.plugins.cl.PluginClassLoader@1bdd2355
at com.intellij.ide.plugins.cl.PluginClassLoader.loadClass(PluginClassLoader.java:51)
at java.lang.ClassLoader.loadClass(ClassLoader.java:357)
at java.lang.Class.forName0(Native Method)
at java.lang.Class.forName(Class.java:348)
at com.intellij.openapi.extensions.AbstractExtensionPointBean.findClass(AbstractExtensionPointBean.java:41)
at com.intellij.util.ExtensionInstantiator.instantiateWithPicoContainerOnlyIfNeeded(ExtensionInstantiator.java:34)
... 52 more
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.