SOSML/SOSML issues and pull requests

#132 - Bump @babel/traverse from 7.15.4 to 7.23.2

Pull Request - State: open - Opened by dependabot[bot] 12 months ago
Labels: dependencies

#131 - Bump tough-cookie from 4.0.0 to 4.1.3

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies

#130 - Elaboration failed: You simply cannot rebind "!"

Issue - State: open - Opened by serpent7776 over 1 year ago
Labels: help wanted, s:elaboration, p9: low priority

#129 - Bump webpack from 5.53.0 to 5.76.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies

#128 - Bump json5 from 2.2.0 to 2.2.3

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies

#127 - Bump decode-uri-component from 0.2.0 to 0.2.2

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies

#126 - Bump minimatch from 3.0.4 to 3.1.2

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies

#125 - Bump loader-utils from 2.0.0 to 2.0.4

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies

#124 - Bump loader-utils from 2.0.0 to 2.0.3

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: dependencies

#123 - Bump terser from 5.8.0 to 5.14.2

Pull Request - State: closed - Opened by dependabot[bot] about 2 years ago
Labels: dependencies

#122 - Bump minimist from 1.2.5 to 1.2.6

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago
Labels: dependencies

#121 - Strange behavior with `where` clauses in module signatures

Issue - State: open - Opened by mb64 over 3 years ago - 2 comments
Labels: t:squid, s:frontend, p9: low priority

#120 - Bump y18n from 4.0.0 to 4.0.1

Pull Request - State: closed - Opened by dependabot[bot] over 3 years ago - 1 comment
Labels: dependencies

#119 - Display of lists - set size?

Issue - State: closed - Opened by ddtopham over 3 years ago - 2 comments
Labels: t:enhancement, s:frontend, p5: medium priority

#118 - Bump node-notifier from 8.0.0 to 8.0.1

Pull Request - State: closed - Opened by dependabot[bot] almost 4 years ago
Labels: dependencies

#117 - Not all top-level functions are available by default

Issue - State: closed - Opened by narain almost 4 years ago - 8 comments
Labels: t:enhancement, p5: medium priority

#116 - Bump lodash from 4.17.15 to 4.17.19

Pull Request - State: closed - Opened by dependabot[bot] about 4 years ago - 1 comment
Labels: dependencies

#115 - Bump acorn from 5.7.3 to 5.7.4

Pull Request - State: closed - Opened by dependabot[bot] over 4 years ago - 1 comment
Labels: dependencies

#114 - Can't handle too many lines

Issue - State: closed - Opened by Dschorim over 4 years ago - 1 comment
Labels: r:wontfix

#113 - `as` keyword is broken.

Issue - State: closed - Opened by PH111P almost 5 years ago
Labels: t:squid, s:elaboration, p5: medium priority

#112 - Code disappears when changing size of Window

Issue - State: closed - Opened by Steffenjungwirth almost 5 years ago - 1 comment
Labels: t:duplicate

#111 - Feature request: manual dark mode toogle switch

Issue - State: closed - Opened by laikoni almost 5 years ago - 4 comments
Labels: t:invalid

#110 - Editor buffer is reset after switch from side-to-side to top-bottom layout

Issue - State: closed - Opened by laikoni almost 5 years ago - 4 comments
Labels: t:squid, s:frontend, p5: medium priority

#109 - "|" character behaves weird in editor

Issue - State: closed - Opened by laikoni almost 5 years ago - 1 comment
Labels: t:squid, s:frontend, p9: low priority

#108 - Incomplete Records Elaboration Squid

Issue - State: closed - Opened by Biewer almost 5 years ago - 1 comment
Labels: t:squid, s:elaboration, p9: low priority

#107 - Functor squids

Issue - State: open - Opened by PH111P almost 5 years ago
Labels: t:squid, s:elaboration, p9: low priority

#106 - Update notifications for frontend

Issue - State: open - Opened by PH111P almost 5 years ago
Labels: t:enhancement, s:frontend, p9: low priority

#105 - Auto-Formatter bei `[]`

Issue - State: closed - Opened by GrSto almost 5 years ago - 1 comment
Labels: t:enhancement, s:frontend, p9: low priority

#104 - Semicolons broken

Issue - State: closed - Opened by JoJoDeveloping about 5 years ago - 1 comment
Labels: t:squid, s:frontend, p5: medium priority

#103 - Bump lodash from 4.17.11 to 4.17.14

Pull Request - State: closed - Opened by dependabot[bot] about 5 years ago
Labels: dependencies

#102 - Various additions and fixes to the standard library

Pull Request - State: closed - Opened by lgaeher over 5 years ago

#101 - Vector.concat missing

Issue - State: closed - Opened by PLenard79 over 5 years ago
Labels: t:enhancement, p9: low priority

#100 - Runtime error on square function

Issue - State: closed - Opened by Ak-wa over 5 years ago - 1 comment
Labels: t:duplicate, s:frontend

#99 - fixing lint errors

Pull Request - State: closed - Opened by DerJesko over 5 years ago

#98 - versioning scripts added

Pull Request - State: closed - Opened by DerJesko over 5 years ago

#97 - Type variable elaboration broken

Issue - State: closed - Opened by PH111P over 5 years ago - 2 comments
Labels: t:squid, s:elaboration, p9: low priority

#96 - Records (and tuples) wrongly propagate tyVarBnd

Issue - State: closed - Opened by PH111P over 5 years ago - 1 comment
Labels: t:squid, s:elaboration, p5: medium priority

#95 - Free type variables broken

Issue - State: closed - Opened by gert-smolka over 5 years ago
Labels: t:squid, s:elaboration, p9: low priority

#94 - Type inference doesn't take into account type in signature

Issue - State: closed - Opened by lgaeher almost 6 years ago - 1 comment
Labels: t:invalid

#93 - sequencing as argument

Issue - State: closed - Opened by NeuralCoder3 almost 6 years ago
Labels: t:squid, s:parser, p9: low priority

#92 - Polymorphic signature type disagreeing with variable type is not rejected

Issue - State: closed - Opened by lgaeher almost 6 years ago
Labels: t:squid, s:elaboration, p9: low priority

#91 - Variable names in patterns cannot be qualified

Issue - State: closed - Opened by lgaeher almost 6 years ago - 3 comments
Labels: t:squid, s:elaboration, s:evaluation, p5: medium priority

#90 - val declaration and `and`

Issue - State: closed - Opened by PH111P almost 6 years ago
Labels: t:squid, s:elaboration, p9: low priority

#89 - Type declaration in structure with signature constraint

Issue - State: closed - Opened by lgaeher almost 6 years ago - 2 comments
Labels: t:squid, s:elaboration, p5: medium priority

#88 - type inference in let expression can't infer tuple

Issue - State: closed - Opened by NeuralCoder3 almost 6 years ago
Labels: t:squid, s:elaboration, p9: low priority

#87 - Wildcard in pattern broken in local declarations

Issue - State: closed - Opened by PH111P almost 6 years ago
Labels: t:squid, s:elaboration

#86 - datatype elaboration

Issue - State: closed - Opened by PH111P almost 6 years ago
Labels: t:squid, s:elaboration, s:evaluation

#85 - val declaration is recursive

Issue - State: closed - Opened by gert-smolka almost 6 years ago - 1 comment
Labels: t:squid, s:evaluation, p5: medium priority

#84 - Redefinition of Constructor Names

Issue - State: closed - Opened by PH111P almost 6 years ago
Labels: t:squid, s:evaluation

#83 - StarToken

Issue - State: closed - Opened by PH111P almost 6 years ago
Labels: t:squid, s:parser

#82 - Strange divergence with references

Issue - State: closed - Opened by gert-smolka almost 6 years ago - 4 comments
Labels: t:duplicate, s:frontend

#81 - Elaboration of polymorphic exception declaration broken

Issue - State: closed - Opened by gert-smolka almost 6 years ago - 2 comments
Labels: t:squid, s:elaboration, p5: medium priority

#80 - Nonlinear Patterns

Issue - State: closed - Opened by gert-smolka almost 6 years ago - 1 comment
Labels: t:squid, s:parser

#79 - Wrong elaboration failure with let expressions and polymorphic functions

Issue - State: closed - Opened by gert-smolka almost 6 years ago - 2 comments
Labels: t:duplicate, s:elaboration

#78 - type checking bug

Issue - State: closed - Opened by gert-smolka almost 6 years ago - 1 comment
Labels: t:squid, s:elaboration

#77 - Parser error when overwriting op *

Issue - State: closed - Opened by kaivogelgesang almost 6 years ago
Labels: t:squid, s:parser

#76 - Interpreter in VSCode

Issue - State: closed - Opened by tobiaswaelde almost 6 years ago - 1 comment
Labels: t:invalid

#75 - "filter" declared incorrectly

Issue - State: closed - Opened by Dijandra almost 6 years ago - 1 comment
Labels: t:invalid

#74 - Standard ML type discipline violated (record schemes)

Issue - State: closed - Opened by gert-smolka almost 6 years ago - 1 comment
Labels: t:enhancement, s:frontend

#73 - Broken Type in let expression

Issue - State: closed - Opened by ghost almost 6 years ago - 2 comments
Labels: t:squid, s:elaboration

#72 - pretty printing

Issue - State: closed - Opened by gert-smolka almost 6 years ago - 1 comment
Labels: t:enhancement, r:wontfix, s:elaboration

#71 - "too much circularity" in let expressions

Issue - State: closed - Opened by kaivogelgesang almost 6 years ago
Labels: t:squid, s:elaboration

#70 - Polymorphic declarations in let broken

Issue - State: closed - Opened by lgaeher almost 6 years ago - 1 comment
Labels: t:squid, s:elaboration, p5: medium priority

#69 - Interpreter Bug

Issue - State: closed - Opened by gert-smolka almost 6 years ago - 1 comment
Labels: t:squid, s:parser

#68 - Problem bei counter()

Issue - State: closed - Opened by Neo787 over 6 years ago - 3 comments
Labels: t:invalid, s:frontend

#67 - ValueRestriction does not work

Issue - State: closed - Opened by laikoni over 6 years ago - 1 comment
Labels: t:squid, s:elaboration

#66 - Move reference handling into PredefinedFunctions

Issue - State: closed - Opened by Jujuedv almost 7 years ago
Labels: t:enhancement, s:evaluation, p9: low priority

#65 - Exception ids in let

Issue - State: closed - Opened by Jujuedv almost 7 years ago
Labels: t:squid, s:evaluation, p9: low priority

#64 - Value constructor

Issue - State: closed - Opened by PH111P almost 7 years ago
Labels: t:squid, s:elaboration

#63 - Elaboration bug in local declaration expr.

Issue - State: closed - Opened by PH111P almost 7 years ago
Labels: t:squid, s:elaboration

#62 - Added Int.toString

Pull Request - State: closed - Opened by Jujuedv almost 7 years ago

#61 - Type inference bug

Issue - State: closed - Opened by tp971 almost 7 years ago
Labels: t:squid, s:elaboration

#60 - Parser error

Issue - State: closed - Opened by PH111P almost 7 years ago
Labels: t:squid, s:parser

#59 - Confusing order of evaluation results

Issue - State: closed - Opened by PH111P almost 7 years ago - 1 comment
Labels: t:enhancement, s:evaluation

#58 - Redeclaring predefined datatypes broken

Issue - State: closed - Opened by PH111P almost 7 years ago
Labels: t:squid, s:elaboration

#57 - Infix declaration bug

Issue - State: closed - Opened by PH111P almost 7 years ago
Labels: t:squid, s:parser

#56 - strange type simplification with unit

Issue - State: closed - Opened by DerJesko almost 7 years ago
Labels: t:squid, s:evaluation

#55 - the lexer allows unicode literals in strings even when the feature is turned off

Issue - State: closed - Opened by DerJesko almost 7 years ago
Labels: t:squid, r:wontfix, s:lexer

#54 - custom type variables

Issue - State: closed - Opened by simonspies almost 7 years ago - 1 comment
Labels: t:squid, s:elaboration

#53 - bug in lambda stuff

Issue - State: closed - Opened by DerJesko almost 7 years ago
Labels: t:squid, s:elaboration

#52 - Polymorphic type declarations broken

Issue - State: closed - Opened by PH111P almost 7 years ago - 1 comment
Labels: t:squid, s:elaboration

#51 - Interpreter broken on Firefox

Issue - State: closed - Opened by GrSto almost 7 years ago - 4 comments
Labels: t:squid, s:frontend, r: not reproducable

#50 - Type alias bug

Issue - State: closed - Opened by PH111P almost 7 years ago - 3 comments
Labels: t:squid, r:wontfix, s:elaboration

#49 - Lexer allows input of too large integer constants

Issue - State: closed - Opened by PH111P about 7 years ago
Labels: t:squid, s:lexer

#48 - Warning for ambiguous declarations

Issue - State: closed - Opened by ChrHahn about 7 years ago
Labels: t:enhancement, s:elaboration

#47 - type declarations don't check renamed type

Issue - State: closed - Opened by DerJesko about 7 years ago - 1 comment
Labels: t:squid, s:elaboration

#46 - Implement missing parts of the elaboration

Issue - State: closed - Opened by PH111P about 7 years ago
Labels: t:enhancement, s:elaboration

#45 - Type variable wrongly marked as free

Issue - State: closed - Opened by PH111P about 7 years ago - 1 comment
Labels: t:squid, s:elaboration

#44 - Typing bug in and constructs

Issue - State: closed - Opened by DerJesko about 7 years ago
Labels: t:squid, s:elaboration

#43 - Typing ignores recursion?

Issue - State: closed - Opened by DerJesko about 7 years ago
Labels: t:squid, s:elaboration

#42 - Typing of arithmetic operations

Issue - State: closed - Opened by DerJesko about 7 years ago - 2 comments
Labels: t:squid, s:elaboration

#41 - Checking for non-exhaustiveness is broken

Issue - State: closed - Opened by PH111P about 7 years ago - 1 comment
Labels: t:enhancement, help wanted, r:wontfix, s:elaboration, p9: low priority

#40 - Unbalanced brackets

Issue - State: closed - Opened by Jujuedv about 7 years ago
Labels: t:squid, s:parser

#39 - Shadowing of Datatypes from structures

Issue - State: closed - Opened by Jujuedv about 7 years ago
Labels: t:squid, s:evaluation

#38 - Abbreviating long variable content

Issue - State: closed - Opened by Jujuedv about 7 years ago
Labels: t:enhancement, s:evaluation

#35 - Elaboration of non-terminating functions

Issue - State: open - Opened by PH111P about 7 years ago - 1 comment
Labels: t:squid, s:elaboration, p9: low priority

#32 - Wrong parser error

Issue - State: closed - Opened by PH111P about 7 years ago
Labels: t:squid, s:parser, s:frontend, p9: low priority

#28 - Add warnings for matches

Issue - State: closed - Opened by PH111P about 7 years ago - 2 comments
Labels: t:enhancement, s:elaboration, p5: medium priority

#27 - derived forms in module language

Issue - State: closed - Opened by DerJesko about 7 years ago - 4 comments
Labels: t:squid

#13 - Implement withtype

Issue - State: closed - Opened by PH111P about 7 years ago
Labels: r:wontfix

GitHub / SOSML/SOSML issues and pull requests